#include <gmlib/number/uint256.h>

#include <stdexcept>
#include <cstring>

using namespace number;

void test_uint256_add_carry()
{
    uint256_t    augend, addend, sum;
    int          carry;
    std::uint8_t sum_data[32];

    static std::uint8_t augend0[32] = {0x09,0x99,0x50,0xd8,0x36,0xf6,0x75,0xcc,0x81,0xe7,0x4e,0xf5,0xe8,0xe2,0x5d,0x94,0x0e,0xd9,0x04,0x75,0x95,0x31,0x98,0x5d,0x5d,0x9d,0xc9,0xf8,0x18,0x18,0xe8,0x11};
    static std::uint8_t addend0[32] = {0xf2,0x9d,0x0d,0xa9,0x95,0x3f,0x48,0xf1,0xa0,0x9f,0x76,0xb5,0xa1,0x70,0xb3,0x38,0x39,0x26,0x30,0x59,0xf2,0x8c,0x10,0x5d,0x1f,0xb1,0x7c,0x23,0x90,0xc1,0x92,0xcf};
    static std::uint8_t sum0[32]    = {0xfc,0x36,0x5e,0x81,0xcc,0x35,0xbe,0xbe,0x22,0x86,0xc5,0xab,0x8a,0x53,0x10,0xcc,0x47,0xff,0x34,0xcf,0x87,0xbd,0xa8,0xba,0x7d,0x4f,0x46,0x1b,0xa8,0xda,0x7a,0xe0};
    static int          carry0      = 0;
    uint256_from_bytes(augend, augend0);
    uint256_from_bytes(addend, addend0);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum0, sum_data, 32) != 0 || carry0 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend1[32] = {0x30,0x18,0x50,0xc5,0xa3,0x8f,0xd5,0x47,0x92,0x3a,0x73,0x69,0x94,0xe3,0xbf,0x91,0x1a,0x61,0xdb,0xe2,0x2e,0x44,0x15,0x8b,0xae,0x97,0xba,0x94,0xd0,0xed,0xa8,0x2f};
    static std::uint8_t addend1[32] = {0x34,0xb9,0xb5,0xdf,0x9e,0x77,0x69,0xb1,0x0f,0x42,0x05,0xb4,0x90,0x7a,0x70,0xc3,0x10,0x12,0xf0,0x37,0xb6,0x4c,0xe4,0x22,0x8c,0x38,0xfb,0x29,0x18,0xf1,0x35,0xd2};
    static std::uint8_t sum1[32]    = {0x64,0xd2,0x06,0xa5,0x42,0x07,0x3e,0xf8,0xa1,0x7c,0x79,0x1e,0x25,0x5e,0x30,0x54,0x2a,0x74,0xcc,0x19,0xe4,0x90,0xf9,0xae,0x3a,0xd0,0xb5,0xbd,0xe9,0xde,0xde,0x01};
    static int          carry1      = 0;
    uint256_from_bytes(augend, augend1);
    uint256_from_bytes(addend, addend1);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum1, sum_data, 32) != 0 || carry1 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend2[32] = {0xec,0x66,0xa7,0x87,0x95,0xe7,0x61,0xd1,0x77,0x31,0xaf,0x10,0x50,0x6b,0xf2,0xef,0xc6,0xf8,0x77,0x18,0x6d,0x76,0xb0,0x7e,0x88,0x1e,0xd1,0x62,0xae,0x2e,0xb1,0x54};
    static std::uint8_t addend2[32] = {0x3e,0x7d,0x1b,0xfb,0xc7,0xa2,0xea,0x20,0xb2,0xf1,0x4c,0x94,0x2e,0x05,0x31,0x9a,0xcb,0x5c,0x74,0x27,0x3f,0x98,0xe2,0x77,0x4c,0xbd,0x87,0xad,0x5c,0x90,0xa9,0x58};
    static std::uint8_t sum2[32]    = {0x2a,0xe3,0xc3,0x83,0x5d,0x8a,0x4b,0xf2,0x2a,0x22,0xfb,0xa4,0x7e,0x71,0x24,0x8a,0x92,0x54,0xeb,0x3f,0xad,0x0f,0x92,0xf5,0xd4,0xdc,0x59,0x10,0x0a,0xbf,0x5a,0xac};
    static int          carry2      = 1;
    uint256_from_bytes(augend, augend2);
    uint256_from_bytes(addend, addend2);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum2, sum_data, 32) != 0 || carry2 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend3[32] = {0x72,0xe6,0xcc,0x3a,0xba,0xbc,0xed,0x20,0x57,0xee,0x05,0xcd,0xe0,0x09,0x02,0xc7,0x7e,0xbf,0xf2,0x06,0x86,0x73,0x47,0x21,0x4c,0xdd,0x20,0x55,0x93,0x0d,0x6e,0xaf};
    static std::uint8_t addend3[32] = {0xc1,0xd3,0xfc,0xff,0x2a,0x3a,0xf4,0xd4,0x6b,0x0a,0x18,0xe8,0x83,0x0e,0x07,0xbc,0x1e,0x39,0x8f,0x10,0x12,0xbd,0x4a,0xce,0xfa,0xec,0xbd,0x38,0x9b,0xe4,0xbc,0xfc};
    static std::uint8_t sum3[32]    = {0x34,0xba,0xc9,0x39,0xe4,0xf7,0xe1,0xf4,0xc2,0xf8,0x1e,0xb6,0x63,0x17,0x0a,0x83,0x9c,0xf9,0x81,0x16,0x99,0x30,0x91,0xf0,0x47,0xc9,0xdd,0x8e,0x2e,0xf2,0x2b,0xab};
    static int          carry3      = 1;
    uint256_from_bytes(augend, augend3);
    uint256_from_bytes(addend, addend3);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum3, sum_data, 32) != 0 || carry3 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend4[32] = {0xb1,0xfe,0xe0,0x8f,0x57,0x12,0x42,0x42,0x50,0x51,0xc1,0xcc,0xd1,0x7f,0x9a,0xca,0xe0,0x1f,0x50,0x57,0xca,0x02,0x13,0x5e,0x92,0xb1,0xd3,0xf2,0x8e,0xde,0x0d,0x7a};
    static std::uint8_t addend4[32] = {0xb3,0x94,0xfb,0x36,0xbb,0x2d,0x42,0x0f,0x0f,0x88,0x08,0x0b,0x10,0xa3,0xd6,0xb2,0xaa,0x05,0xe1,0x1a,0xb2,0x71,0x59,0x45,0x79,0x5e,0x82,0x29,0x45,0x1a,0xbd,0x81};
    static std::uint8_t sum4[32]    = {0x65,0x93,0xdb,0xc6,0x12,0x3f,0x84,0x51,0x5f,0xd9,0xc9,0xd7,0xe2,0x23,0x71,0x7d,0x8a,0x25,0x31,0x72,0x7c,0x73,0x6c,0xa4,0x0c,0x10,0x56,0x1b,0xd3,0xf8,0xca,0xfb};
    static int          carry4      = 1;
    uint256_from_bytes(augend, augend4);
    uint256_from_bytes(addend, addend4);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum4, sum_data, 32) != 0 || carry4 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend5[32] = {0xb7,0x74,0xeb,0x52,0x48,0xdb,0x40,0xaf,0x72,0x15,0x83,0x70,0xd2,0x69,0xa9,0xa5,0xae,0x65,0x8f,0x33,0xfe,0x3b,0x89,0x0b,0x93,0xf4,0x48,0xb3,0xa5,0xaa,0x3c,0x81};
    static std::uint8_t addend5[32] = {0xbd,0x05,0x61,0xe6,0x21,0x1c,0x70,0xcf,0x49,0x95,0x23,0x99,0xc4,0xaa,0xea,0xc1,0x37,0xdc,0x76,0xfb,0x0f,0x17,0xa3,0x00,0x7e,0x62,0xaa,0x0a,0x1d,0xf9,0xfd,0x78};
    static std::uint8_t sum5[32]    = {0x74,0x7a,0x4d,0x38,0x69,0xf7,0xb1,0x7e,0xbb,0xaa,0xa7,0x0a,0x97,0x14,0x94,0x66,0xe6,0x42,0x06,0x2f,0x0d,0x53,0x2c,0x0c,0x12,0x56,0xf2,0xbd,0xc3,0xa4,0x39,0xf9};
    static int          carry5      = 1;
    uint256_from_bytes(augend, augend5);
    uint256_from_bytes(addend, addend5);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum5, sum_data, 32) != 0 || carry5 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend6[32] = {0x72,0xfd,0xf2,0x02,0x2a,0x96,0xfb,0x1a,0x14,0xa0,0xf9,0xe7,0x7f,0x1b,0x10,0x3c,0xdf,0x15,0x82,0xb0,0xea,0xb4,0x77,0xd2,0x64,0x15,0x47,0x9c,0x65,0xdc,0x9f,0x50};
    static std::uint8_t addend6[32] = {0x8c,0xdb,0x30,0x5f,0xdd,0x2e,0x16,0x09,0x6e,0x36,0xaa,0xb0,0xd1,0xbc,0x52,0xd9,0x23,0x0d,0x97,0x7e,0xe2,0x25,0x71,0x59,0x47,0x20,0x77,0x1f,0x8c,0xa8,0x18,0x11};
    static std::uint8_t sum6[32]    = {0xff,0xd9,0x22,0x62,0x07,0xc5,0x11,0x23,0x82,0xd7,0xa4,0x98,0x50,0xd7,0x63,0x16,0x02,0x23,0x1a,0x2f,0xcc,0xd9,0xe9,0x2b,0xab,0x35,0xbe,0xbb,0xf2,0x84,0xb7,0x61};
    static int          carry6      = 0;
    uint256_from_bytes(augend, augend6);
    uint256_from_bytes(addend, addend6);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum6, sum_data, 32) != 0 || carry6 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend7[32] = {0xf5,0x2d,0xdf,0x5d,0x61,0x64,0x99,0xc9,0xe2,0x5a,0x76,0x05,0xae,0xc6,0xf0,0x24,0x5b,0xd8,0x6d,0x40,0xfc,0x89,0x1b,0x4a,0x6a,0x50,0xdf,0x4d,0xb4,0xd6,0x6a,0x3a};
    static std::uint8_t addend7[32] = {0x03,0x16,0x90,0x9e,0x3b,0xbb,0xe9,0xea,0xa8,0x94,0x8c,0x89,0x3b,0x61,0x86,0x76,0x26,0xbb,0x7d,0xbd,0x2d,0x1c,0x9a,0xf0,0x15,0x3e,0x7c,0x2a,0x26,0xa2,0xc0,0xbd};
    static std::uint8_t sum7[32]    = {0xf8,0x44,0x6f,0xfb,0x9d,0x20,0x83,0xb4,0x8a,0xef,0x02,0x8e,0xea,0x28,0x76,0x9a,0x82,0x93,0xea,0xfe,0x29,0xa5,0xb6,0x3a,0x7f,0x8f,0x5b,0x77,0xdb,0x79,0x2a,0xf7};
    static int          carry7      = 0;
    uint256_from_bytes(augend, augend7);
    uint256_from_bytes(addend, addend7);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum7, sum_data, 32) != 0 || carry7 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend8[32] = {0x65,0xe7,0xe4,0x23,0x64,0x72,0xf1,0xa3,0x8f,0x2c,0x6e,0xc8,0xcc,0x41,0x69,0xa3,0xae,0x3a,0x2b,0x7f,0xdf,0xe0,0x18,0x93,0xf3,0xae,0xd0,0xb6,0xc7,0xac,0x14,0x91};
    static std::uint8_t addend8[32] = {0x1a,0x35,0x8c,0xa0,0x0d,0x75,0x98,0x5d,0x99,0xc9,0x43,0x09,0x57,0x0d,0xc1,0x95,0x1c,0x24,0x42,0xf9,0x29,0x8c,0xb3,0xa5,0x70,0xcc,0xec,0x31,0x35,0x71,0x81,0x0a};
    static std::uint8_t sum8[32]    = {0x80,0x1d,0x70,0xc3,0x71,0xe8,0x8a,0x01,0x28,0xf5,0xb1,0xd2,0x23,0x4f,0x2b,0x38,0xca,0x5e,0x6e,0x79,0x09,0x6c,0xcc,0x39,0x64,0x7b,0xbc,0xe7,0xfd,0x1d,0x95,0x9b};
    static int          carry8      = 0;
    uint256_from_bytes(augend, augend8);
    uint256_from_bytes(addend, addend8);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum8, sum_data, 32) != 0 || carry8 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend9[32] = {0x06,0x87,0x39,0xfa,0x9d,0x1d,0xe2,0xa0,0x5d,0x15,0x8a,0x2f,0xf2,0xee,0x4e,0x45,0x19,0xf9,0x91,0x9c,0x89,0x5f,0xd7,0xb3,0x26,0xb9,0x4c,0x7f,0x91,0x18,0xbb,0x16};
    static std::uint8_t addend9[32] = {0xf4,0x99,0x8d,0x7c,0x40,0x93,0xf6,0xde,0xa2,0x68,0xaa,0x87,0x26,0x07,0x67,0x9d,0x60,0x50,0x91,0x4a,0x9d,0x33,0xa0,0x1c,0x35,0x3c,0x63,0x1c,0xdf,0xd4,0x3f,0x37};
    static std::uint8_t sum9[32]    = {0xfb,0x20,0xc7,0x76,0xdd,0xb1,0xd9,0x7e,0xff,0x7e,0x34,0xb7,0x18,0xf5,0xb5,0xe2,0x7a,0x4a,0x22,0xe7,0x26,0x93,0x77,0xcf,0x5b,0xf5,0xaf,0x9c,0x70,0xec,0xfa,0x4d};
    static int          carry9      = 0;
    uint256_from_bytes(augend, augend9);
    uint256_from_bytes(addend, addend9);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum9, sum_data, 32) != 0 || carry9 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend10[32] = {0xbf,0xea,0xa1,0x55,0x1a,0x28,0xf7,0xb3,0x24,0xe4,0xe2,0x5a,0x15,0xfc,0x89,0x9e,0x4f,0xd5,0x8d,0xbe,0x7b,0xdc,0x96,0x8b,0x7a,0xfb,0x2c,0x68,0x77,0x4b,0x15,0xd7};
    static std::uint8_t addend10[32] = {0x05,0xe9,0x99,0xf3,0x84,0x2e,0x7f,0xc2,0x29,0x54,0x0a,0x6e,0xb1,0x2a,0xa1,0xf6,0xd4,0x2f,0xdd,0xbb,0x7a,0x86,0xf7,0xa2,0x43,0xc7,0x1b,0x9a,0xbd,0x87,0xa8,0x65};
    static std::uint8_t sum10[32]    = {0xc5,0xd4,0x3b,0x48,0x9e,0x57,0x77,0x75,0x4e,0x38,0xec,0xc8,0xc7,0x27,0x2b,0x95,0x24,0x05,0x6b,0x79,0xf6,0x63,0x8e,0x2d,0xbe,0xc2,0x48,0x03,0x34,0xd2,0xbe,0x3c};
    static int          carry10      = 0;
    uint256_from_bytes(augend, augend10);
    uint256_from_bytes(addend, addend10);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum10, sum_data, 32) != 0 || carry10 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend11[32] = {0xea,0x05,0x75,0x43,0x8b,0x0d,0x59,0x0b,0xb0,0xa8,0x44,0xe5,0x25,0x87,0xbe,0x6b,0x5c,0x9b,0xcf,0x35,0x87,0x3b,0xe0,0x78,0xf3,0xb7,0xa5,0x0d,0xf3,0x73,0xca,0x53};
    static std::uint8_t addend11[32] = {0x56,0x75,0xf6,0xad,0x32,0x5b,0x55,0xdd,0x78,0x57,0x29,0x76,0x3a,0x12,0x91,0x7c,0x1a,0x26,0xf8,0x89,0x38,0x70,0x38,0x00,0x14,0x9e,0x25,0x9b,0x5d,0x58,0xc7,0x05};
    static std::uint8_t sum11[32]    = {0x40,0x7b,0x6b,0xf0,0xbd,0x68,0xae,0xe9,0x28,0xff,0x6e,0x5b,0x5f,0x9a,0x4f,0xe7,0x76,0xc2,0xc7,0xbe,0xbf,0xac,0x18,0x79,0x08,0x55,0xca,0xa9,0x50,0xcc,0x91,0x58};
    static int          carry11      = 1;
    uint256_from_bytes(augend, augend11);
    uint256_from_bytes(addend, addend11);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum11, sum_data, 32) != 0 || carry11 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend12[32] = {0x2d,0xb3,0x99,0x7f,0xe3,0x96,0x39,0xbe,0x7a,0x60,0x5a,0x91,0x33,0x06,0x98,0xa1,0xc0,0x09,0x34,0x92,0xb6,0x24,0x67,0x71,0xc8,0x45,0x00,0x70,0x63,0x77,0x14,0x07};
    static std::uint8_t addend12[32] = {0xb8,0xc9,0x81,0x7a,0xf8,0xbe,0x88,0x31,0xf2,0x37,0xe4,0x5a,0xcd,0x02,0xc5,0xe1,0x16,0x35,0x3d,0x03,0x55,0x1f,0xd8,0xf9,0xa2,0xc6,0x8e,0x45,0xca,0x04,0xc7,0x9f};
    static std::uint8_t sum12[32]    = {0xe6,0x7d,0x1a,0xfa,0xdc,0x54,0xc1,0xf0,0x6c,0x98,0x3e,0xec,0x00,0x09,0x5e,0x82,0xd6,0x3e,0x71,0x96,0x0b,0x44,0x40,0x6b,0x6b,0x0b,0x8e,0xb6,0x2d,0x7b,0xdb,0xa6};
    static int          carry12      = 0;
    uint256_from_bytes(augend, augend12);
    uint256_from_bytes(addend, addend12);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum12, sum_data, 32) != 0 || carry12 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend13[32] = {0xa7,0xe6,0x52,0x9b,0xce,0x76,0xe9,0xf4,0x77,0x21,0x6e,0x9e,0xe7,0xa4,0x63,0x09,0x97,0x3f,0x79,0x86,0x26,0xb1,0xcf,0xfc,0x07,0x0d,0x71,0x09,0x20,0x85,0x96,0x34};
    static std::uint8_t addend13[32] = {0x59,0xb4,0x4e,0x92,0xef,0xfd,0xde,0xea,0xa8,0x42,0xbc,0x19,0x79,0x6f,0x74,0xad,0xfa,0xf5,0x54,0x96,0x98,0x8a,0xf3,0xfb,0xd3,0x96,0x30,0xd6,0x9c,0x90,0x11,0xef};
    static std::uint8_t sum13[32]    = {0x01,0x9a,0xa1,0x2e,0xbe,0x74,0xc8,0xdf,0x1f,0x64,0x2a,0xb8,0x61,0x13,0xd7,0xb7,0x92,0x34,0xce,0x1c,0xbf,0x3c,0xc3,0xf7,0xda,0xa3,0xa1,0xdf,0xbd,0x15,0xa8,0x23};
    static int          carry13      = 1;
    uint256_from_bytes(augend, augend13);
    uint256_from_bytes(addend, addend13);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum13, sum_data, 32) != 0 || carry13 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend14[32] = {0xdf,0x2a,0x8b,0x79,0xfc,0x8e,0x80,0xb3,0x6f,0x0e,0x22,0x89,0x23,0xa5,0xef,0x88,0xef,0x02,0x09,0x0b,0xbf,0xde,0xfc,0x15,0x86,0xce,0x03,0xf9,0x1a,0x4f,0x44,0xf9};
    static std::uint8_t addend14[32] = {0x80,0x4c,0x25,0xd6,0x4a,0xff,0xdc,0xd1,0x36,0x78,0xbc,0x8d,0x40,0x78,0x3f,0x0a,0x07,0x2a,0x98,0xd2,0x36,0x06,0xde,0xfc,0xdf,0xb8,0x5c,0x0d,0xd3,0x7e,0xe9,0x15};
    static std::uint8_t sum14[32]    = {0x5f,0x76,0xb1,0x50,0x47,0x8e,0x5d,0x84,0xa5,0x86,0xdf,0x16,0x64,0x1e,0x2e,0x92,0xf6,0x2c,0xa1,0xdd,0xf5,0xe5,0xdb,0x12,0x66,0x86,0x60,0x06,0xed,0xce,0x2e,0x0e};
    static int          carry14      = 1;
    uint256_from_bytes(augend, augend14);
    uint256_from_bytes(addend, addend14);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum14, sum_data, 32) != 0 || carry14 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend15[32] = {0x21,0x8e,0x0b,0x7b,0xd5,0x8d,0xcd,0xb4,0x6b,0x44,0x68,0x06,0x8b,0x5a,0xb3,0xee,0x42,0x65,0xbb,0x31,0x53,0x74,0x09,0x02,0x96,0x20,0xbf,0x0d,0xc3,0x80,0x84,0xa0};
    static std::uint8_t addend15[32] = {0x88,0x25,0xae,0x56,0x21,0x79,0xb3,0x7d,0x80,0x6c,0x10,0xb5,0xe0,0xcf,0xab,0x4c,0xea,0xef,0xc4,0xd2,0xd3,0xbf,0x6d,0x01,0x6b,0xae,0x4b,0x5b,0x84,0x4a,0x70,0x34};
    static std::uint8_t sum15[32]    = {0xa9,0xb3,0xb9,0xd1,0xf7,0x07,0x81,0x31,0xeb,0xb0,0x78,0xbc,0x6c,0x2a,0x5f,0x3b,0x2d,0x55,0x80,0x04,0x27,0x33,0x76,0x04,0x01,0xcf,0x0a,0x69,0x47,0xca,0xf4,0xd4};
    static int          carry15      = 0;
    uint256_from_bytes(augend, augend15);
    uint256_from_bytes(addend, addend15);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum15, sum_data, 32) != 0 || carry15 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend16[32] = {0x9b,0xca,0x3c,0xb7,0x2e,0xe0,0x28,0x9d,0xc6,0xc9,0x1b,0x92,0x70,0xac,0x06,0xac,0xdf,0x70,0x30,0x17,0x04,0xc9,0xd7,0x8d,0x82,0xb3,0x35,0x99,0x86,0x04,0x87,0x19};
    static std::uint8_t addend16[32] = {0xb9,0xa6,0x44,0x2e,0x9e,0x7d,0x6b,0x37,0x79,0x36,0xd5,0x36,0x24,0x3d,0x35,0x70,0x2c,0x1e,0xea,0x1f,0x26,0x59,0x74,0xa7,0xcc,0x96,0x6f,0x46,0xc6,0xaa,0x7d,0x55};
    static std::uint8_t sum16[32]    = {0x55,0x70,0x80,0xe5,0xcd,0x5d,0x93,0xd5,0x3f,0xff,0xf0,0xc8,0x94,0xe9,0x3c,0x1d,0x0b,0x8f,0x1a,0x36,0x2b,0x23,0x4c,0x35,0x4f,0x49,0xa4,0xe0,0x4c,0xaf,0x04,0x6e};
    static int          carry16      = 1;
    uint256_from_bytes(augend, augend16);
    uint256_from_bytes(addend, addend16);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum16, sum_data, 32) != 0 || carry16 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend17[32] = {0x46,0xe4,0x09,0x90,0x30,0xf9,0x70,0x58,0x3f,0x9d,0x52,0xf9,0x0e,0x8b,0xec,0x94,0x8f,0x6f,0x91,0x5f,0xe2,0x1b,0x37,0xca,0x1b,0x29,0xfc,0x99,0xc6,0xc8,0x0e,0x2b};
    static std::uint8_t addend17[32] = {0x83,0x1d,0x03,0xbf,0x9b,0x2b,0xd6,0xc0,0x81,0x6b,0xee,0x06,0xf9,0x2e,0x23,0x39,0x9c,0xce,0xa0,0x98,0x53,0x5b,0x6a,0x43,0x71,0x78,0xba,0x0a,0x10,0x38,0xf0,0xb5};
    static std::uint8_t sum17[32]    = {0xca,0x01,0x0d,0x4f,0xcc,0x25,0x47,0x18,0xc1,0x09,0x41,0x00,0x07,0xba,0x0f,0xce,0x2c,0x3e,0x31,0xf8,0x35,0x76,0xa2,0x0d,0x8c,0xa2,0xb6,0xa3,0xd7,0x00,0xfe,0xe0};
    static int          carry17      = 0;
    uint256_from_bytes(augend, augend17);
    uint256_from_bytes(addend, addend17);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum17, sum_data, 32) != 0 || carry17 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend18[32] = {0x6a,0xa8,0xb9,0xe0,0x23,0x1b,0x3e,0x14,0x72,0x91,0x35,0xbd,0xd7,0x0a,0x39,0xd1,0x33,0xdc,0xd7,0x7f,0xf1,0x79,0xf2,0xd2,0xe4,0x8b,0x96,0x62,0x8f,0x3c,0x4b,0xe3};
    static std::uint8_t addend18[32] = {0x12,0xb8,0x0a,0xed,0x6d,0xa7,0x9a,0x87,0x3d,0x9a,0x80,0x79,0xab,0xd0,0xd7,0xfb,0x12,0x92,0x61,0x85,0x50,0xe4,0x0d,0x54,0x71,0x2e,0xa6,0xb3,0x64,0x71,0xfd,0xe4};
    static std::uint8_t sum18[32]    = {0x7d,0x60,0xc4,0xcd,0x90,0xc2,0xd8,0x9b,0xb0,0x2b,0xb6,0x37,0x82,0xdb,0x11,0xcc,0x46,0x6f,0x39,0x05,0x42,0x5e,0x00,0x27,0x55,0xba,0x3d,0x15,0xf3,0xae,0x49,0xc7};
    static int          carry18      = 0;
    uint256_from_bytes(augend, augend18);
    uint256_from_bytes(addend, addend18);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum18, sum_data, 32) != 0 || carry18 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend19[32] = {0xf7,0xb1,0x03,0xdf,0x23,0x23,0x1e,0x1e,0xe2,0x01,0x55,0x22,0x40,0xcb,0xac,0xd0,0x24,0x9a,0x45,0x84,0x5d,0xbe,0x30,0x23,0xa9,0x06,0x92,0x2f,0xa4,0xb9,0xa9,0xc4};
    static std::uint8_t addend19[32] = {0x83,0xfe,0xb1,0x7b,0xfe,0x7b,0x8a,0xe4,0x6e,0x78,0x36,0xa4,0xb4,0xd1,0x9e,0xc1,0x29,0x55,0xd6,0xf0,0x39,0x45,0x33,0x6b,0xd5,0x1b,0x18,0x15,0xaa,0xf7,0x19,0xf3};
    static std::uint8_t sum19[32]    = {0x7b,0xaf,0xb5,0x5b,0x21,0x9e,0xa9,0x03,0x50,0x79,0x8b,0xc6,0xf5,0x9d,0x4b,0x91,0x4d,0xf0,0x1c,0x74,0x97,0x03,0x63,0x8f,0x7e,0x21,0xaa,0x45,0x4f,0xb0,0xc3,0xb7};
    static int          carry19      = 1;
    uint256_from_bytes(augend, augend19);
    uint256_from_bytes(addend, addend19);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum19, sum_data, 32) != 0 || carry19 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend20[32] = {0x5d,0xaf,0x10,0x6d,0xb8,0xde,0xe0,0x81,0x17,0x9a,0x07,0x1e,0x51,0x8a,0xe4,0x52,0x5b,0x4b,0x1b,0x75,0x32,0x1c,0x52,0x96,0x6b,0xd8,0xc6,0x76,0x56,0xd0,0x50,0xcd};
    static std::uint8_t addend20[32] = {0xa2,0x6a,0xa0,0xae,0x04,0x4f,0x15,0x74,0xf0,0x37,0xaf,0xc6,0x44,0xd8,0x2a,0x53,0x12,0x89,0xba,0xfa,0xe5,0x31,0x69,0x60,0x6c,0xe1,0x93,0xc2,0x2e,0xef,0xa2,0x79};
    static std::uint8_t sum20[32]    = {0x00,0x19,0xb1,0x1b,0xbd,0x2d,0xf5,0xf6,0x07,0xd1,0xb6,0xe4,0x96,0x63,0x0e,0xa5,0x6d,0xd4,0xd6,0x70,0x17,0x4d,0xbb,0xf6,0xd8,0xba,0x5a,0x38,0x85,0xbf,0xf3,0x46};
    static int          carry20      = 1;
    uint256_from_bytes(augend, augend20);
    uint256_from_bytes(addend, addend20);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum20, sum_data, 32) != 0 || carry20 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend21[32] = {0xf0,0x29,0x05,0x31,0x3d,0x0a,0x27,0x0b,0xb5,0xa4,0x32,0xcf,0x86,0xe3,0xe7,0x26,0x0b,0x0f,0x87,0x3b,0x21,0x14,0xe0,0x68,0x9f,0x27,0xf5,0x2c,0x44,0x92,0x74,0xd2};
    static std::uint8_t addend21[32] = {0xac,0x12,0x7e,0x93,0x80,0x05,0xce,0x74,0x72,0x18,0x88,0xff,0x4a,0x3a,0xdf,0x99,0x34,0xb3,0xff,0x60,0xc2,0x6e,0x7a,0x42,0x87,0xf5,0x3d,0xdd,0x4e,0x14,0xd5,0x71};
    static std::uint8_t sum21[32]    = {0x9c,0x3b,0x83,0xc4,0xbd,0x0f,0xf5,0x80,0x27,0xbc,0xbb,0xce,0xd1,0x1e,0xc6,0xbf,0x3f,0xc3,0x86,0x9b,0xe3,0x83,0x5a,0xab,0x27,0x1d,0x33,0x09,0x92,0xa7,0x4a,0x43};
    static int          carry21      = 1;
    uint256_from_bytes(augend, augend21);
    uint256_from_bytes(addend, addend21);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum21, sum_data, 32) != 0 || carry21 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend22[32] = {0x03,0xed,0xb9,0x20,0x09,0x75,0x83,0x40,0x40,0x1d,0x68,0xfb,0xfe,0x97,0x7c,0x56,0x04,0xa6,0x56,0x51,0xcd,0xbd,0xe7,0x47,0x58,0xd5,0x0f,0x1b,0x45,0x40,0xf4,0x26};
    static std::uint8_t addend22[32] = {0xa2,0xcf,0x62,0xba,0xba,0x95,0x88,0x10,0xb4,0xeb,0xf4,0xb6,0xe1,0xc6,0x0a,0xa3,0xd5,0x10,0xbb,0x04,0x32,0xd9,0x0d,0xcd,0x57,0xbb,0x7d,0x97,0x3a,0xc4,0xda,0x9a};
    static std::uint8_t sum22[32]    = {0xa6,0xbd,0x1b,0xda,0xc4,0x0b,0x0b,0x50,0xf5,0x09,0x5d,0xb2,0xe0,0x5d,0x86,0xf9,0xd9,0xb7,0x11,0x56,0x00,0x96,0xf5,0x14,0xb0,0x90,0x8c,0xb2,0x80,0x05,0xce,0xc0};
    static int          carry22      = 0;
    uint256_from_bytes(augend, augend22);
    uint256_from_bytes(addend, addend22);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum22, sum_data, 32) != 0 || carry22 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend23[32] = {0x03,0xa6,0x39,0x66,0x21,0x3b,0xca,0x7f,0xd6,0x44,0xde,0x2f,0x0d,0xec,0x68,0x23,0xfb,0x5c,0x9d,0x56,0x58,0xf9,0x2d,0xea,0xfd,0x4b,0xd0,0x30,0x67,0x9a,0x44,0xdd};
    static std::uint8_t addend23[32] = {0x99,0x49,0x8a,0xc4,0x48,0x2c,0xc7,0x8e,0xf8,0x8e,0xde,0x10,0xab,0xa8,0xb9,0xb3,0x81,0x85,0x79,0x7c,0xde,0xdb,0x91,0x09,0x61,0x81,0x77,0xff,0xd7,0x5d,0x67,0x69};
    static std::uint8_t sum23[32]    = {0x9c,0xef,0xc4,0x2a,0x69,0x68,0x92,0x0e,0xce,0xd3,0xbc,0x3f,0xb9,0x95,0x21,0xd7,0x7c,0xe2,0x16,0xd3,0x37,0xd4,0xbe,0xf4,0x5e,0xcd,0x48,0x30,0x3e,0xf7,0xac,0x46};
    static int          carry23      = 0;
    uint256_from_bytes(augend, augend23);
    uint256_from_bytes(addend, addend23);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum23, sum_data, 32) != 0 || carry23 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend24[32] = {0x72,0x21,0x8f,0xdc,0x44,0xdf,0x96,0xff,0x28,0x54,0x14,0x24,0x2f,0x73,0x3b,0x05,0x75,0x9e,0xb5,0x59,0x0b,0x94,0xaf,0x3a,0x4b,0x05,0xe1,0xae,0xb1,0x53,0xd6,0x9c};
    static std::uint8_t addend24[32] = {0x52,0xd3,0x1e,0x1b,0x8c,0x0d,0x00,0x33,0xfc,0x23,0x25,0xa9,0xf8,0xfd,0xd2,0x08,0x54,0x34,0x81,0x56,0xf6,0x37,0xa4,0x68,0x5d,0x38,0x5e,0x06,0x43,0x63,0xe5,0xd9};
    static std::uint8_t sum24[32]    = {0xc4,0xf4,0xad,0xf7,0xd0,0xec,0x97,0x33,0x24,0x77,0x39,0xce,0x28,0x71,0x0d,0x0d,0xc9,0xd3,0x36,0xb0,0x01,0xcc,0x53,0xa2,0xa8,0x3e,0x3f,0xb4,0xf4,0xb7,0xbc,0x75};
    static int          carry24      = 0;
    uint256_from_bytes(augend, augend24);
    uint256_from_bytes(addend, addend24);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum24, sum_data, 32) != 0 || carry24 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend25[32] = {0x00,0x46,0x0d,0x69,0x2e,0xd6,0x54,0x11,0x5b,0x49,0x15,0x61,0x37,0xc6,0x0e,0x98,0x4f,0x3e,0x88,0x5e,0xe1,0xe4,0x37,0xb7,0xf7,0x35,0xef,0xe6,0x08,0xd1,0x80,0x11};
    static std::uint8_t addend25[32] = {0x7e,0x83,0x49,0x04,0xfc,0x17,0x34,0x98,0xb8,0x7e,0x4e,0x2b,0x53,0x7d,0x91,0x28,0xc3,0xa9,0xe8,0x89,0x63,0xb7,0x59,0xf5,0x98,0xb8,0x1c,0x66,0xe1,0x0c,0x16,0x7d};
    static std::uint8_t sum25[32]    = {0x7e,0xc9,0x56,0x6e,0x2a,0xed,0x88,0xaa,0x13,0xc7,0x63,0x8c,0x8b,0x43,0x9f,0xc1,0x12,0xe8,0x70,0xe8,0x45,0x9b,0x91,0xad,0x8f,0xee,0x0c,0x4c,0xe9,0xdd,0x96,0x8e};
    static int          carry25      = 0;
    uint256_from_bytes(augend, augend25);
    uint256_from_bytes(addend, addend25);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum25, sum_data, 32) != 0 || carry25 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend26[32] = {0x81,0x6b,0x23,0x32,0xcf,0xed,0x94,0x3b,0xb3,0x78,0x3a,0x7c,0xbb,0xdd,0xbb,0x9b,0x6d,0xe2,0xfb,0x1f,0xa0,0x98,0xd6,0x91,0x83,0x52,0xbc,0x85,0xe4,0x56,0x55,0x9c};
    static std::uint8_t addend26[32] = {0xcd,0xff,0x5a,0x1c,0xd0,0x1a,0x91,0x4c,0xd5,0xbe,0x78,0x5a,0x91,0x87,0xdf,0x42,0x81,0x1e,0x76,0x16,0xc0,0xbb,0xe6,0xed,0x86,0x14,0xf5,0x04,0xe8,0xee,0x65,0xa1};
    static std::uint8_t sum26[32]    = {0x4f,0x6a,0x7d,0x4f,0xa0,0x08,0x25,0x88,0x89,0x36,0xb2,0xd7,0x4d,0x65,0x9a,0xdd,0xef,0x01,0x71,0x36,0x61,0x54,0xbd,0x7f,0x09,0x67,0xb1,0x8a,0xcd,0x44,0xbb,0x3d};
    static int          carry26      = 1;
    uint256_from_bytes(augend, augend26);
    uint256_from_bytes(addend, addend26);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum26, sum_data, 32) != 0 || carry26 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend27[32] = {0xcc,0x35,0xe8,0x34,0x74,0xfa,0x94,0x12,0x00,0xd9,0x35,0x34,0x43,0x87,0xee,0x7b,0x7d,0x42,0x64,0x6f,0x3e,0x9b,0x76,0x8f,0xae,0x40,0x01,0xe3,0x88,0x0c,0xb4,0x01};
    static std::uint8_t addend27[32] = {0x86,0xa7,0x4a,0x63,0xa8,0xc7,0xd9,0xe0,0x17,0x89,0x81,0x9f,0x89,0x02,0xda,0xfc,0xe5,0xd9,0xfe,0x81,0x80,0xc2,0xb5,0xf1,0xee,0xb8,0x9f,0xf1,0xbf,0x8e,0x51,0xaa};
    static std::uint8_t sum27[32]    = {0x52,0xdd,0x32,0x98,0x1d,0xc2,0x6d,0xf2,0x18,0x62,0xb6,0xd3,0xcc,0x8a,0xc9,0x78,0x63,0x1c,0x62,0xf0,0xbf,0x5e,0x2c,0x81,0x9c,0xf8,0xa1,0xd5,0x47,0x9b,0x05,0xab};
    static int          carry27      = 1;
    uint256_from_bytes(augend, augend27);
    uint256_from_bytes(addend, addend27);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum27, sum_data, 32) != 0 || carry27 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend28[32] = {0x43,0xfb,0x9f,0xbc,0xd8,0x9c,0x36,0xb2,0x13,0x0f,0x27,0xb2,0xcf,0x28,0xf6,0x5e,0x40,0x8f,0xc1,0x46,0x79,0x4e,0xc9,0x26,0xbc,0x9e,0x28,0xea,0xbe,0xe8,0x06,0x26};
    static std::uint8_t addend28[32] = {0x75,0xd8,0xd8,0xa4,0xf9,0xc9,0xc6,0x79,0xa6,0x61,0xf6,0x2c,0xbd,0x65,0x68,0x0c,0x3b,0x11,0x85,0xd9,0x34,0x89,0x22,0xd7,0xc1,0xa6,0x24,0xdc,0xba,0xb5,0xb3,0x73};
    static std::uint8_t sum28[32]    = {0xb9,0xd4,0x78,0x61,0xd2,0x65,0xfd,0x2b,0xb9,0x71,0x1d,0xdf,0x8c,0x8e,0x5e,0x6a,0x7b,0xa1,0x47,0x1f,0xad,0xd7,0xeb,0xfe,0x7e,0x44,0x4d,0xc7,0x79,0x9d,0xb9,0x99};
    static int          carry28      = 0;
    uint256_from_bytes(augend, augend28);
    uint256_from_bytes(addend, addend28);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum28, sum_data, 32) != 0 || carry28 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend29[32] = {0xc4,0x58,0x27,0x2f,0x49,0x8d,0xbf,0xa8,0xaf,0x06,0xbc,0xf7,0xe9,0x14,0x57,0xdb,0x7a,0xa0,0x68,0xf1,0x13,0xa5,0x39,0x7f,0x61,0xef,0x7b,0xd1,0xd8,0x74,0xbc,0x79};
    static std::uint8_t addend29[32] = {0x54,0xef,0x12,0x5a,0x25,0xbd,0xa6,0x59,0x99,0x86,0x48,0xe0,0x13,0xd5,0x31,0x6f,0x32,0xc3,0x24,0x44,0xa4,0x8c,0x1d,0x5c,0xa1,0xfe,0xb6,0x24,0x9d,0xf2,0x02,0x5f};
    static std::uint8_t sum29[32]    = {0x19,0x47,0x39,0x89,0x6f,0x4b,0x66,0x02,0x48,0x8d,0x05,0xd7,0xfc,0xe9,0x89,0x4a,0xad,0x63,0x8d,0x35,0xb8,0x31,0x56,0xdc,0x03,0xee,0x31,0xf6,0x76,0x66,0xbe,0xd8};
    static int          carry29      = 1;
    uint256_from_bytes(augend, augend29);
    uint256_from_bytes(addend, addend29);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum29, sum_data, 32) != 0 || carry29 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend30[32] = {0x03,0x31,0x2e,0xad,0x22,0x29,0x30,0xae,0x91,0x58,0xd4,0xa8,0x9f,0x03,0xbc,0x5a,0x4d,0xee,0x48,0x12,0xb1,0x61,0x07,0xf1,0xbe,0x43,0x7c,0x7b,0xa6,0xca,0xf4,0xa3};
    static std::uint8_t addend30[32] = {0xee,0x37,0x9c,0x65,0xf2,0x12,0x01,0xe4,0xea,0xa3,0x55,0x6c,0x35,0xb7,0xe4,0x48,0x63,0x08,0x7e,0x52,0x44,0xc6,0xb8,0x95,0xfe,0x74,0x9e,0x67,0x73,0x0f,0x37,0xf1};
    static std::uint8_t sum30[32]    = {0xf1,0x68,0xcb,0x13,0x14,0x3b,0x32,0x93,0x7b,0xfc,0x2a,0x14,0xd4,0xbb,0xa0,0xa2,0xb0,0xf6,0xc6,0x64,0xf6,0x27,0xc0,0x87,0xbc,0xb8,0x1a,0xe3,0x19,0xda,0x2c,0x94};
    static int          carry30      = 0;
    uint256_from_bytes(augend, augend30);
    uint256_from_bytes(addend, addend30);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum30, sum_data, 32) != 0 || carry30 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend31[32] = {0xf3,0xe6,0xca,0x73,0x43,0x05,0xe9,0x86,0x86,0x29,0x2b,0xb5,0xbf,0x5b,0x41,0x1b,0x24,0x49,0x1d,0xf6,0x17,0x1e,0x1a,0x8c,0x94,0xdb,0x5f,0x8f,0x13,0x19,0xd4,0x24};
    static std::uint8_t addend31[32] = {0x06,0x5b,0x8c,0x35,0x64,0xe2,0x76,0x02,0x7c,0x73,0xb6,0xc9,0xe0,0x4b,0x0d,0xce,0xe5,0xd0,0x0a,0x4d,0x7f,0x75,0x95,0xb5,0x3b,0x3b,0xf4,0xbf,0x5d,0x7c,0xfe,0xd1};
    static std::uint8_t sum31[32]    = {0xfa,0x42,0x56,0xa8,0xa7,0xe8,0x5f,0x89,0x02,0x9c,0xe2,0x7f,0x9f,0xa6,0x4e,0xea,0x0a,0x19,0x28,0x43,0x96,0x93,0xb0,0x41,0xd0,0x17,0x54,0x4e,0x70,0x96,0xd2,0xf5};
    static int          carry31      = 0;
    uint256_from_bytes(augend, augend31);
    uint256_from_bytes(addend, addend31);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum31, sum_data, 32) != 0 || carry31 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend32[32] = {0xba,0x28,0xa6,0x79,0x4d,0x4c,0xa9,0xc7,0x67,0xc9,0x8f,0xb9,0x73,0x65,0x06,0xec,0xae,0x7c,0x8f,0x09,0x7d,0xdf,0xcb,0xc9,0xf3,0x30,0x8c,0xe5,0x00,0xeb,0x4e,0x11};
    static std::uint8_t addend32[32] = {0x00,0x72,0x1f,0x84,0x54,0xd1,0xac,0x6b,0xd7,0x19,0x61,0x89,0x1e,0xf3,0xea,0x44,0x50,0xea,0x7d,0xa7,0x60,0x48,0x7e,0x15,0x58,0x0d,0xc5,0xab,0x6a,0x8a,0xd9,0xcb};
    static std::uint8_t sum32[32]    = {0xba,0x9a,0xc5,0xfd,0xa2,0x1e,0x56,0x33,0x3e,0xe2,0xf1,0x42,0x92,0x58,0xf1,0x30,0xff,0x67,0x0c,0xb0,0xde,0x28,0x49,0xdf,0x4b,0x3e,0x52,0x90,0x6b,0x76,0x27,0xdc};
    static int          carry32      = 0;
    uint256_from_bytes(augend, augend32);
    uint256_from_bytes(addend, addend32);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum32, sum_data, 32) != 0 || carry32 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend33[32] = {0x64,0x95,0x0d,0xc2,0x10,0xa2,0x5b,0x19,0x5f,0x49,0xf0,0xfc,0x40,0xd2,0x84,0x06,0x4a,0x32,0x7e,0x2d,0xbd,0x6a,0x99,0x6d,0xe6,0xcd,0x10,0xf1,0x03,0x00,0x30,0x05};
    static std::uint8_t addend33[32] = {0xc1,0x72,0xb2,0x98,0x6d,0x94,0xdd,0x6d,0xec,0xe8,0x07,0x99,0x5c,0x57,0x72,0x2e,0x13,0x8e,0xfe,0xf9,0x96,0xd4,0x48,0x0f,0xde,0xb6,0x7a,0xe7,0xff,0xb0,0xdd,0x9e};
    static std::uint8_t sum33[32]    = {0x26,0x07,0xc0,0x5a,0x7e,0x37,0x38,0x87,0x4c,0x31,0xf8,0x95,0x9d,0x29,0xf6,0x34,0x5d,0xc1,0x7d,0x27,0x54,0x3e,0xe1,0x7d,0xc5,0x83,0x8b,0xd9,0x02,0xb1,0x0d,0xa3};
    static int          carry33      = 1;
    uint256_from_bytes(augend, augend33);
    uint256_from_bytes(addend, addend33);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum33, sum_data, 32) != 0 || carry33 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend34[32] = {0x50,0xcb,0x40,0x7a,0x82,0xce,0x78,0x6f,0x6f,0xad,0x79,0x36,0x44,0x06,0xc0,0x53,0xf8,0x95,0xfc,0x55,0x3f,0xd3,0xbe,0x98,0x26,0x1f,0x40,0xdf,0xef,0x82,0xd1,0xa3};
    static std::uint8_t addend34[32] = {0xc0,0xae,0xd9,0xc5,0x9d,0x6b,0x02,0x3f,0x73,0x6b,0x96,0xa0,0x69,0x2f,0xd3,0x60,0xbb,0x7b,0x73,0x8e,0xee,0xf7,0x95,0xcd,0x0c,0xaa,0x76,0x12,0x14,0xa0,0xb0,0x0b};
    static std::uint8_t sum34[32]    = {0x11,0x7a,0x1a,0x40,0x20,0x39,0x7a,0xae,0xe3,0x19,0x0f,0xd6,0xad,0x36,0x93,0xb4,0xb4,0x11,0x6f,0xe4,0x2e,0xcb,0x54,0x65,0x32,0xc9,0xb6,0xf2,0x04,0x23,0x81,0xae};
    static int          carry34      = 1;
    uint256_from_bytes(augend, augend34);
    uint256_from_bytes(addend, addend34);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum34, sum_data, 32) != 0 || carry34 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend35[32] = {0x8c,0xd3,0xe4,0x18,0xed,0x41,0x42,0xba,0xe9,0x72,0x9f,0x3f,0x0c,0x89,0xc0,0x01,0x7c,0x4e,0xa6,0x03,0x49,0x44,0xf2,0xce,0xde,0x96,0x2a,0x6d,0xa4,0xfd,0x57,0xc5};
    static std::uint8_t addend35[32] = {0x17,0x39,0x10,0xe3,0x3e,0x7c,0x65,0x67,0x31,0x41,0x97,0x75,0x8c,0x3b,0xa8,0x59,0x23,0xbc,0x91,0x52,0x6d,0x6b,0x98,0x7a,0x73,0x30,0x9b,0x95,0xc2,0x5e,0x11,0x4f};
    static std::uint8_t sum35[32]    = {0xa4,0x0c,0xf4,0xfc,0x2b,0xbd,0xa8,0x22,0x1a,0xb4,0x36,0xb4,0x98,0xc5,0x68,0x5a,0xa0,0x0b,0x37,0x55,0xb6,0xb0,0x8b,0x49,0x51,0xc6,0xc6,0x03,0x67,0x5b,0x69,0x14};
    static int          carry35      = 0;
    uint256_from_bytes(augend, augend35);
    uint256_from_bytes(addend, addend35);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum35, sum_data, 32) != 0 || carry35 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend36[32] = {0x7f,0x86,0x7d,0x5f,0x0f,0xe3,0x21,0xec,0xc0,0x8a,0x58,0xd7,0x56,0x94,0x7a,0x7a,0x45,0x2e,0x70,0x4d,0x60,0x7a,0x47,0x32,0x35,0xc2,0xe2,0x29,0x86,0x2f,0xe2,0x31};
    static std::uint8_t addend36[32] = {0x62,0x72,0x92,0xf8,0x3f,0x9a,0xa8,0x84,0xe5,0x94,0x09,0xc1,0x45,0x61,0x9f,0xc0,0x17,0xb4,0x83,0x4c,0x37,0x49,0x5c,0x5e,0xd9,0x3f,0xf7,0x16,0xdc,0xe4,0x7b,0x21};
    static std::uint8_t sum36[32]    = {0xe1,0xf9,0x10,0x57,0x4f,0x7d,0xca,0x71,0xa6,0x1e,0x62,0x98,0x9b,0xf6,0x1a,0x3a,0x5c,0xe2,0xf3,0x99,0x97,0xc3,0xa3,0x91,0x0f,0x02,0xd9,0x40,0x63,0x14,0x5d,0x52};
    static int          carry36      = 0;
    uint256_from_bytes(augend, augend36);
    uint256_from_bytes(addend, addend36);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum36, sum_data, 32) != 0 || carry36 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend37[32] = {0xcd,0xe3,0x47,0xab,0xe5,0x4c,0x5d,0xe6,0xc3,0x81,0x3c,0xe6,0xb5,0xa2,0x90,0x61,0x6c,0xd9,0xe6,0x2a,0x08,0x41,0x1c,0x07,0x20,0x93,0x42,0xca,0x05,0x95,0x5f,0xb9};
    static std::uint8_t addend37[32] = {0xc8,0x79,0xb6,0x63,0x3f,0x9b,0x6b,0xb2,0x72,0xee,0x6a,0x2e,0xf8,0xe4,0xcb,0x5c,0x77,0xd8,0xc5,0x69,0xda,0xff,0x9a,0x0b,0x87,0x21,0xec,0xf8,0xd3,0x59,0xd0,0x7a};
    static std::uint8_t sum37[32]    = {0x96,0x5c,0xfe,0x0f,0x24,0xe7,0xc9,0x99,0x36,0x6f,0xa7,0x15,0xae,0x87,0x5b,0xbd,0xe4,0xb2,0xab,0x93,0xe3,0x40,0xb6,0x12,0xa7,0xb5,0x2f,0xc2,0xd8,0xef,0x30,0x33};
    static int          carry37      = 1;
    uint256_from_bytes(augend, augend37);
    uint256_from_bytes(addend, addend37);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum37, sum_data, 32) != 0 || carry37 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend38[32] = {0xeb,0x7f,0xe2,0x6b,0x91,0xc3,0x09,0x8c,0x3b,0x8a,0x27,0xba,0x20,0x2a,0xb6,0xfa,0xc8,0x44,0xb8,0xfd,0x00,0x59,0x86,0x5a,0x0a,0x1f,0xb4,0x3b,0xc6,0xe0,0x67,0x3a};
    static std::uint8_t addend38[32] = {0x00,0x4b,0x7f,0xd0,0x99,0xdf,0x20,0x9b,0xca,0x5d,0x5e,0x7d,0x39,0x3c,0xbc,0xdd,0x42,0xc9,0x27,0xb9,0x63,0x59,0x56,0xbe,0x31,0x13,0x5d,0xe9,0x95,0x38,0x57,0xd7};
    static std::uint8_t sum38[32]    = {0xeb,0xcb,0x62,0x3c,0x2b,0xa2,0x2a,0x28,0x05,0xe7,0x86,0x37,0x59,0x67,0x73,0xd8,0x0b,0x0d,0xe0,0xb6,0x63,0xb2,0xdd,0x18,0x3b,0x33,0x12,0x25,0x5c,0x18,0xbf,0x11};
    static int          carry38      = 0;
    uint256_from_bytes(augend, augend38);
    uint256_from_bytes(addend, addend38);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum38, sum_data, 32) != 0 || carry38 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend39[32] = {0x6b,0xa9,0x9d,0x01,0xb7,0xe4,0x9f,0x36,0x56,0x8a,0x8c,0x29,0xb2,0x21,0x71,0x39,0x08,0xba,0x9b,0xd9,0x7e,0x31,0x8a,0xd6,0x3a,0x0e,0xa6,0xe1,0x5e,0xc6,0x9b,0xe3};
    static std::uint8_t addend39[32] = {0xd1,0xeb,0xd0,0x86,0xc4,0x0f,0x36,0x09,0x4f,0xcc,0x9a,0x5c,0x33,0x4e,0x51,0xaf,0xf8,0x48,0xa9,0x56,0x7e,0xe5,0xe8,0x57,0x34,0x89,0x34,0x98,0x11,0x43,0x40,0xff};
    static std::uint8_t sum39[32]    = {0x3d,0x95,0x6d,0x88,0x7b,0xf3,0xd5,0x3f,0xa6,0x57,0x26,0x85,0xe5,0x6f,0xc2,0xe9,0x01,0x03,0x45,0x2f,0xfd,0x17,0x73,0x2d,0x6e,0x97,0xdb,0x79,0x70,0x09,0xdc,0xe2};
    static int          carry39      = 1;
    uint256_from_bytes(augend, augend39);
    uint256_from_bytes(addend, addend39);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum39, sum_data, 32) != 0 || carry39 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend40[32] = {0x0d,0xea,0x6e,0x4e,0x64,0xb9,0xcb,0x1c,0xec,0x03,0x2e,0x6b,0x25,0x79,0x5c,0x18,0x98,0x44,0xf4,0x76,0xf2,0xe2,0x05,0x4d,0x0e,0x71,0x59,0x7a,0xaa,0x50,0xb9,0x6f};
    static std::uint8_t addend40[32] = {0x0f,0x65,0x06,0x38,0xb5,0xb9,0x4a,0xf3,0x0d,0x45,0x6b,0xe0,0x6a,0x56,0xaa,0xc3,0x24,0x54,0x48,0xc8,0x98,0x9b,0xc9,0xdc,0xf9,0x5f,0xe8,0xa0,0x06,0x0c,0x88,0x04};
    static std::uint8_t sum40[32]    = {0x1d,0x4f,0x74,0x87,0x1a,0x73,0x16,0x0f,0xf9,0x48,0x9a,0x4b,0x8f,0xd0,0x06,0xdb,0xbc,0x99,0x3d,0x3f,0x8b,0x7d,0xcf,0x2a,0x07,0xd1,0x42,0x1a,0xb0,0x5d,0x41,0x73};
    static int          carry40      = 0;
    uint256_from_bytes(augend, augend40);
    uint256_from_bytes(addend, addend40);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum40, sum_data, 32) != 0 || carry40 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend41[32] = {0xd6,0xd1,0x06,0xfb,0x60,0xed,0x33,0xa0,0xb9,0xb2,0x53,0xe3,0xaa,0x18,0x13,0x45,0x4f,0xd3,0xe7,0x58,0x08,0x2a,0x2f,0x4d,0x77,0xb5,0xab,0xcb,0xbf,0x0e,0x11,0xe0};
    static std::uint8_t addend41[32] = {0x47,0xa1,0x64,0xe4,0x14,0x07,0xab,0x33,0x00,0xbc,0x22,0xcb,0x1b,0xe4,0xa5,0xdb,0x2b,0x54,0xaf,0x77,0x71,0x43,0x6e,0x1d,0x54,0xea,0x20,0x61,0xfc,0x27,0xd6,0x83};
    static std::uint8_t sum41[32]    = {0x1e,0x72,0x6b,0xdf,0x74,0xf4,0xde,0xd3,0xba,0x6e,0x76,0xae,0xc5,0xfc,0xb9,0x20,0x7b,0x28,0x96,0xcf,0x79,0x6d,0x9d,0x6a,0xcc,0x9f,0xcc,0x2d,0xbb,0x35,0xe8,0x63};
    static int          carry41      = 1;
    uint256_from_bytes(augend, augend41);
    uint256_from_bytes(addend, addend41);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum41, sum_data, 32) != 0 || carry41 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend42[32] = {0xc2,0x41,0x0a,0xd1,0xf6,0xda,0x7a,0x63,0x8f,0xa6,0x24,0xf7,0x1f,0xab,0x58,0x84,0xe2,0x9a,0xac,0xea,0xf4,0x9c,0x9e,0xba,0x6b,0x91,0x1f,0x97,0x59,0xf9,0xbb,0x79};
    static std::uint8_t addend42[32] = {0x6e,0xb4,0xff,0xf8,0xcd,0xce,0xc4,0x08,0xd2,0x6f,0x1d,0x76,0x4f,0x06,0xe9,0x5a,0xd2,0x52,0xa6,0x17,0xc4,0xcb,0xa0,0x38,0x5b,0x4c,0x0d,0x73,0x61,0x50,0x2d,0xee};
    static std::uint8_t sum42[32]    = {0x30,0xf6,0x0a,0xca,0xc4,0xa9,0x3e,0x6c,0x62,0x15,0x42,0x6d,0x6e,0xb2,0x41,0xdf,0xb4,0xed,0x53,0x02,0xb9,0x68,0x3e,0xf2,0xc6,0xdd,0x2d,0x0a,0xbb,0x49,0xe9,0x67};
    static int          carry42      = 1;
    uint256_from_bytes(augend, augend42);
    uint256_from_bytes(addend, addend42);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum42, sum_data, 32) != 0 || carry42 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend43[32] = {0x72,0x43,0xd4,0x7c,0xeb,0x64,0xc5,0xc4,0x8a,0xa1,0xa5,0x9c,0x5f,0x6a,0x35,0xd9,0x32,0x1a,0x6e,0xc1,0x79,0x34,0xf0,0xb8,0xb4,0x8b,0xb0,0x75,0x0c,0x9c,0x20,0xef};
    static std::uint8_t addend43[32] = {0x69,0x2a,0x4f,0x0e,0xa1,0xb4,0x9b,0xf7,0x07,0xc0,0x90,0x9c,0x79,0x7b,0x15,0x38,0xe5,0xa1,0x5b,0x79,0xbc,0xc0,0xfd,0x98,0x5d,0x3f,0x69,0xce,0x52,0xc4,0x64,0x1b};
    static std::uint8_t sum43[32]    = {0xdb,0x6e,0x23,0x8b,0x8d,0x19,0x61,0xbb,0x92,0x62,0x36,0x38,0xd8,0xe5,0x4b,0x12,0x17,0xbb,0xca,0x3b,0x35,0xf5,0xee,0x51,0x11,0xcb,0x1a,0x43,0x5f,0x60,0x85,0x0a};
    static int          carry43      = 0;
    uint256_from_bytes(augend, augend43);
    uint256_from_bytes(addend, addend43);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum43, sum_data, 32) != 0 || carry43 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend44[32] = {0x76,0xcc,0x05,0x73,0x08,0xec,0x37,0x9a,0x60,0x25,0x33,0xdc,0x0a,0x68,0x01,0x3d,0x67,0x9f,0x2d,0x9e,0xc4,0x44,0x5a,0xae,0xa0,0x1a,0xc2,0x3a,0xcf,0xd3,0xbb,0x74};
    static std::uint8_t addend44[32] = {0x0b,0x28,0x6c,0x70,0x9d,0xf2,0x4d,0x5e,0xf4,0x29,0xc6,0x22,0xf5,0x2b,0x25,0x49,0x55,0xc0,0xa7,0x4d,0x45,0xb6,0x69,0xf7,0x5c,0xeb,0xe2,0x13,0x56,0xcd,0x42,0xd2};
    static std::uint8_t sum44[32]    = {0x81,0xf4,0x71,0xe3,0xa6,0xde,0x84,0xf9,0x54,0x4e,0xf9,0xfe,0xff,0x93,0x26,0x86,0xbd,0x5f,0xd4,0xec,0x09,0xfa,0xc4,0xa5,0xfd,0x06,0xa4,0x4e,0x26,0xa0,0xfe,0x46};
    static int          carry44      = 0;
    uint256_from_bytes(augend, augend44);
    uint256_from_bytes(addend, addend44);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum44, sum_data, 32) != 0 || carry44 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend45[32] = {0x10,0xb9,0x9a,0xc9,0xf1,0x78,0xd7,0x7f,0xf2,0x4d,0x04,0xfd,0xa2,0x4c,0x84,0x07,0xce,0x3f,0xa0,0x28,0xea,0x9d,0x18,0xb2,0x98,0x77,0x27,0x90,0xc1,0x72,0x6f,0x06};
    static std::uint8_t addend45[32] = {0x75,0xf5,0xc1,0xa0,0x51,0xcd,0xf2,0xf9,0xdc,0x7a,0x61,0x5d,0x53,0xea,0xb0,0x31,0x3c,0x73,0xd5,0xf4,0x9b,0x75,0x03,0x62,0x26,0xbc,0x98,0x58,0xc5,0xd6,0xd5,0xe9};
    static std::uint8_t sum45[32]    = {0x86,0xaf,0x5c,0x6a,0x43,0x46,0xca,0x79,0xce,0xc7,0x66,0x5a,0xf6,0x37,0x34,0x39,0x0a,0xb3,0x76,0x1d,0x86,0x12,0x1c,0x14,0xbf,0x33,0xbf,0xe9,0x87,0x49,0x44,0xef};
    static int          carry45      = 0;
    uint256_from_bytes(augend, augend45);
    uint256_from_bytes(addend, addend45);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum45, sum_data, 32) != 0 || carry45 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend46[32] = {0xc0,0xbd,0x1d,0x84,0x64,0x45,0x7e,0xa4,0x32,0x83,0x06,0x89,0x83,0x0a,0xe1,0x9e,0x14,0x3a,0x51,0x80,0x98,0x80,0xe8,0x8b,0xc8,0x41,0x72,0x1e,0xc8,0xa9,0x48,0x14};
    static std::uint8_t addend46[32] = {0x8b,0x6b,0xfe,0xae,0x8d,0x76,0xd7,0xa1,0x7b,0x50,0x07,0x9e,0x08,0xab,0x4a,0xe4,0xa6,0x48,0xa5,0x8c,0x10,0x92,0x57,0xf7,0x68,0x62,0xbf,0x79,0x3f,0x4f,0x8b,0x9d};
    static std::uint8_t sum46[32]    = {0x4c,0x29,0x1c,0x32,0xf1,0xbc,0x56,0x45,0xad,0xd3,0x0e,0x27,0x8b,0xb6,0x2c,0x82,0xba,0x82,0xf7,0x0c,0xa9,0x13,0x40,0x83,0x30,0xa4,0x31,0x98,0x07,0xf8,0xd3,0xb1};
    static int          carry46      = 1;
    uint256_from_bytes(augend, augend46);
    uint256_from_bytes(addend, addend46);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum46, sum_data, 32) != 0 || carry46 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend47[32] = {0xf8,0xdc,0xa3,0x09,0xb5,0xb3,0x90,0x23,0xfd,0x09,0xe3,0x7c,0x7f,0x9c,0x13,0x21,0x6b,0xca,0x9b,0x3f,0x18,0xaf,0x26,0x6c,0x35,0x55,0xd6,0xae,0x15,0x86,0x6f,0xfb};
    static std::uint8_t addend47[32] = {0xac,0x92,0x61,0xf1,0xe4,0x29,0xc8,0x7c,0x9e,0xcc,0x7b,0x5f,0x75,0xff,0x19,0x9d,0x6a,0xb6,0x11,0x4f,0x22,0x07,0xc6,0xc0,0x3b,0xf4,0x49,0xfd,0x2c,0x56,0x4d,0x56};
    static std::uint8_t sum47[32]    = {0xa5,0x6f,0x04,0xfb,0x99,0xdd,0x58,0xa0,0x9b,0xd6,0x5e,0xdb,0xf5,0x9b,0x2c,0xbe,0xd6,0x80,0xac,0x8e,0x3a,0xb6,0xed,0x2c,0x71,0x4a,0x20,0xab,0x41,0xdc,0xbd,0x51};
    static int          carry47      = 1;
    uint256_from_bytes(augend, augend47);
    uint256_from_bytes(addend, addend47);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum47, sum_data, 32) != 0 || carry47 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend48[32] = {0xbc,0xf1,0xfc,0xb5,0x41,0x09,0xd8,0xd6,0x5f,0x7b,0x07,0xb8,0x44,0x85,0xc0,0x4f,0x91,0x1f,0x52,0xdc,0x47,0x86,0x8e,0x4a,0x4b,0x35,0x4e,0x93,0x4b,0x3e,0x90,0xb7};
    static std::uint8_t addend48[32] = {0xfe,0x11,0x1e,0xbc,0x40,0x6c,0x61,0x32,0x65,0x64,0xd1,0x34,0x10,0x97,0x00,0x46,0x53,0x8a,0xe1,0xc1,0x30,0x31,0x29,0x32,0x94,0x0a,0x35,0x37,0xe8,0x56,0x64,0x31};
    static std::uint8_t sum48[32]    = {0xbb,0x03,0x1b,0x71,0x81,0x76,0x3a,0x08,0xc4,0xdf,0xd8,0xec,0x55,0x1c,0xc0,0x95,0xe4,0xaa,0x34,0x9d,0x77,0xb7,0xb7,0x7c,0xdf,0x3f,0x83,0xcb,0x33,0x94,0xf4,0xe8};
    static int          carry48      = 1;
    uint256_from_bytes(augend, augend48);
    uint256_from_bytes(addend, addend48);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum48, sum_data, 32) != 0 || carry48 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend49[32] = {0xd7,0x2e,0xb3,0xa1,0x3b,0x2a,0x42,0x1a,0xd1,0xb0,0xb7,0x0b,0xe2,0x00,0xd2,0x18,0x79,0x8a,0x0d,0x59,0x01,0x26,0x64,0xf6,0x1a,0x32,0x75,0x37,0x09,0x7a,0x59,0x42};
    static std::uint8_t addend49[32] = {0x0c,0xe6,0x6f,0x73,0x1e,0x84,0xfb,0x36,0x3b,0x9e,0xda,0xcb,0x4b,0x2e,0x72,0x45,0xe0,0x7b,0x59,0xd8,0x0a,0x55,0x27,0xa2,0x5f,0xb6,0x5b,0x55,0xea,0x14,0x84,0x3a};
    static std::uint8_t sum49[32]    = {0xe4,0x15,0x23,0x14,0x59,0xaf,0x3d,0x51,0x0d,0x4f,0x91,0xd7,0x2d,0x2f,0x44,0x5e,0x5a,0x05,0x67,0x31,0x0b,0x7b,0x8c,0x98,0x79,0xe8,0xd0,0x8c,0xf3,0x8e,0xdd,0x7c};
    static int          carry49      = 0;
    uint256_from_bytes(augend, augend49);
    uint256_from_bytes(addend, addend49);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum49, sum_data, 32) != 0 || carry49 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend50[32] = {0x37,0xb7,0x9c,0x48,0x59,0x85,0xea,0x3f,0x9e,0xb4,0xe9,0x2e,0xb5,0xaf,0x4c,0x8a,0x98,0x9d,0x18,0x1c,0xa3,0x30,0x66,0xbd,0x1b,0x14,0x66,0xf6,0x01,0x9f,0x77,0x81};
    static std::uint8_t addend50[32] = {0x53,0xc6,0x9b,0x0a,0xd1,0x9f,0x0b,0xe9,0x02,0xe9,0xc9,0xfb,0xd0,0x93,0x0b,0x64,0x34,0x14,0xc2,0xdc,0xe9,0xf8,0xf7,0x1f,0xa6,0xd2,0x10,0x40,0xbb,0x73,0x52,0xc1};
    static std::uint8_t sum50[32]    = {0x8b,0x7e,0x37,0x53,0x2b,0x24,0xf6,0x28,0xa1,0x9e,0xb3,0x2a,0x86,0x42,0x57,0xee,0xcc,0xb1,0xda,0xf9,0x8d,0x29,0x5d,0xdc,0xc1,0xe6,0x77,0x36,0xbd,0x12,0xca,0x42};
    static int          carry50      = 0;
    uint256_from_bytes(augend, augend50);
    uint256_from_bytes(addend, addend50);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum50, sum_data, 32) != 0 || carry50 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend51[32] = {0xf4,0x04,0x2f,0x1e,0x6a,0xf7,0xea,0x31,0x4e,0xbe,0x98,0x80,0xaa,0xf5,0xa8,0x6e,0x48,0x86,0x6d,0x48,0xfc,0xfd,0x36,0xd1,0x68,0xe7,0xed,0x23,0x45,0x6b,0x31,0x2c};
    static std::uint8_t addend51[32] = {0xba,0x60,0x49,0x1e,0x64,0x06,0xf4,0x58,0x32,0x7b,0xcd,0xa3,0xa4,0xfc,0x86,0x21,0x5d,0x20,0xc6,0xa6,0xcd,0x5e,0x4a,0xa0,0xff,0x22,0x82,0xe6,0xc4,0x44,0x00,0x54};
    static std::uint8_t sum51[32]    = {0xae,0x64,0x78,0x3c,0xce,0xfe,0xde,0x89,0x81,0x3a,0x66,0x24,0x4f,0xf2,0x2e,0x8f,0xa5,0xa7,0x33,0xef,0xca,0x5b,0x81,0x72,0x68,0x0a,0x70,0x0a,0x09,0xaf,0x31,0x80};
    static int          carry51      = 1;
    uint256_from_bytes(augend, augend51);
    uint256_from_bytes(addend, addend51);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum51, sum_data, 32) != 0 || carry51 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend52[32] = {0x29,0x9c,0x85,0x8d,0xc5,0xe6,0xe6,0x2f,0x75,0xfd,0xf3,0x7c,0x5d,0x5e,0xc1,0xad,0xe2,0x01,0xaa,0xfd,0x93,0xea,0x6a,0x94,0x67,0xfd,0xe1,0xc3,0x17,0x2a,0x39,0x0a};
    static std::uint8_t addend52[32] = {0x65,0x8f,0x62,0xd1,0xe8,0xe8,0x4b,0x0d,0xce,0x74,0xb3,0xc4,0xa4,0x02,0xbb,0x72,0x24,0x7a,0xab,0xb5,0x8d,0x32,0x3d,0x9e,0x0d,0x3b,0xe8,0xee,0x03,0xcc,0x2f,0x9b};
    static std::uint8_t sum52[32]    = {0x8f,0x2b,0xe8,0x5f,0xae,0xcf,0x31,0x3d,0x44,0x72,0xa7,0x41,0x01,0x61,0x7d,0x20,0x06,0x7c,0x56,0xb3,0x21,0x1c,0xa8,0x32,0x75,0x39,0xca,0xb1,0x1a,0xf6,0x68,0xa5};
    static int          carry52      = 0;
    uint256_from_bytes(augend, augend52);
    uint256_from_bytes(addend, addend52);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum52, sum_data, 32) != 0 || carry52 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend53[32] = {0x25,0x58,0xd6,0xc0,0x2b,0xf3,0x97,0x75,0x81,0x24,0x7d,0xd4,0xbc,0xbc,0x58,0xa3,0x5e,0xef,0x9b,0x8b,0xed,0x5e,0xc9,0x04,0x9f,0x48,0x25,0x0d,0x92,0xa7,0x3f,0x9d};
    static std::uint8_t addend53[32] = {0x62,0x3c,0x70,0xce,0x1b,0xd9,0xd9,0x12,0x11,0x2d,0x40,0x95,0xec,0xed,0x8d,0xed,0x2b,0xfa,0x1f,0x10,0x85,0x6a,0xab,0x1d,0x29,0x6c,0xb0,0x8c,0x48,0x86,0x05,0x8b};
    static std::uint8_t sum53[32]    = {0x87,0x95,0x47,0x8e,0x47,0xcd,0x70,0x87,0x92,0x51,0xbe,0x6a,0xa9,0xa9,0xe6,0x90,0x8a,0xe9,0xba,0x9c,0x72,0xc9,0x74,0x21,0xc8,0xb4,0xd5,0x99,0xdb,0x2d,0x45,0x28};
    static int          carry53      = 0;
    uint256_from_bytes(augend, augend53);
    uint256_from_bytes(addend, addend53);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum53, sum_data, 32) != 0 || carry53 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend54[32] = {0x95,0x26,0xe3,0xd0,0x4e,0xe6,0xf4,0xff,0x6b,0x89,0xd4,0x63,0xa6,0x26,0xb0,0x97,0x4e,0x64,0x0c,0xd4,0xc7,0x30,0xa7,0xcb,0xa0,0x85,0xda,0x1f,0xd9,0x58,0xb1,0xe6};
    static std::uint8_t addend54[32] = {0x2d,0xc3,0x78,0xf2,0x70,0x37,0xe0,0x34,0x80,0xea,0x83,0x97,0x72,0x60,0xca,0x26,0x5e,0x11,0x34,0x23,0xa8,0xa9,0xea,0x62,0x63,0xa3,0x66,0xaa,0x6c,0xfd,0x49,0x40};
    static std::uint8_t sum54[32]    = {0xc2,0xea,0x5c,0xc2,0xbf,0x1e,0xd5,0x33,0xec,0x74,0x57,0xfb,0x18,0x87,0x7a,0xbd,0xac,0x75,0x40,0xf8,0x6f,0xda,0x92,0x2e,0x04,0x29,0x40,0xca,0x46,0x55,0xfb,0x26};
    static int          carry54      = 0;
    uint256_from_bytes(augend, augend54);
    uint256_from_bytes(addend, addend54);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum54, sum_data, 32) != 0 || carry54 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend55[32] = {0x66,0x7c,0xd6,0x0b,0x79,0x24,0xde,0xde,0xcf,0x7e,0xda,0x11,0x2d,0xf8,0x3c,0x66,0xd6,0x27,0xd2,0xb8,0x75,0x52,0x6e,0x31,0xd1,0xa8,0x08,0x88,0xc7,0xac,0x6f,0x37};
    static std::uint8_t addend55[32] = {0xc1,0x94,0xff,0x53,0x9c,0x46,0x19,0x92,0x59,0xd4,0x69,0x7f,0xd5,0x41,0xda,0x56,0x10,0xc5,0xab,0x83,0x38,0x9b,0xc3,0xdc,0xee,0x3a,0xb8,0x08,0xb8,0x98,0xa7,0x0c};
    static std::uint8_t sum55[32]    = {0x28,0x11,0xd5,0x5f,0x15,0x6a,0xf8,0x71,0x29,0x53,0x43,0x91,0x03,0x3a,0x16,0xbc,0xe6,0xed,0x7e,0x3b,0xad,0xee,0x32,0x0e,0xbf,0xe2,0xc0,0x91,0x80,0x45,0x16,0x43};
    static int          carry55      = 1;
    uint256_from_bytes(augend, augend55);
    uint256_from_bytes(addend, addend55);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum55, sum_data, 32) != 0 || carry55 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend56[32] = {0x74,0xd6,0xd1,0x1f,0xd0,0xcc,0xe8,0x93,0xe7,0xb2,0x27,0xe9,0x46,0x65,0xea,0x19,0x9d,0x10,0x6a,0x37,0xe5,0x83,0x76,0xfb,0x52,0xe7,0x1c,0xf8,0x28,0xa4,0xfb,0xd7};
    static std::uint8_t addend56[32] = {0x67,0x49,0x83,0x14,0x2e,0x9d,0xde,0x73,0x32,0xed,0xdf,0x6f,0x09,0x6d,0xe4,0x21,0x5f,0x4c,0xe3,0x02,0x51,0xaf,0x10,0x74,0x3c,0xc6,0x31,0x41,0x81,0x89,0xac,0x45};
    static std::uint8_t sum56[32]    = {0xdc,0x20,0x54,0x33,0xff,0x6a,0xc7,0x07,0x1a,0xa0,0x07,0x58,0x4f,0xd3,0xce,0x3a,0xfc,0x5d,0x4d,0x3a,0x37,0x32,0x87,0x6f,0x8f,0xad,0x4e,0x39,0xaa,0x2e,0xa8,0x1c};
    static int          carry56      = 0;
    uint256_from_bytes(augend, augend56);
    uint256_from_bytes(addend, addend56);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum56, sum_data, 32) != 0 || carry56 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend57[32] = {0xdb,0xb8,0xd3,0x6b,0xa2,0xe5,0xc7,0xd7,0x0c,0x6f,0x2f,0xcc,0x87,0xdd,0x58,0xd9,0xc4,0xad,0x10,0x06,0x1d,0x75,0xcc,0x23,0x43,0xab,0xd7,0xad,0xc8,0xed,0x32,0x13};
    static std::uint8_t addend57[32] = {0x5c,0x39,0x6f,0x5e,0x25,0x6d,0x10,0x82,0x93,0xcd,0xe6,0x09,0x5e,0x73,0x25,0x2b,0xfd,0x91,0x4b,0x0e,0x60,0x30,0x7b,0x75,0x43,0xc6,0xed,0x1e,0x5f,0x18,0x69,0x04};
    static std::uint8_t sum57[32]    = {0x37,0xf2,0x42,0xc9,0xc8,0x52,0xd8,0x59,0xa0,0x3d,0x15,0xd5,0xe6,0x50,0x7e,0x05,0xc2,0x3e,0x5b,0x14,0x7d,0xa6,0x47,0x98,0x87,0x72,0xc4,0xcc,0x28,0x05,0x9b,0x17};
    static int          carry57      = 1;
    uint256_from_bytes(augend, augend57);
    uint256_from_bytes(addend, addend57);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum57, sum_data, 32) != 0 || carry57 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend58[32] = {0xf5,0x3e,0x2c,0x38,0xbe,0x5c,0x39,0x31,0x9d,0x89,0x20,0x98,0x2d,0x3f,0xe2,0x97,0x3a,0xe4,0x61,0x55,0x71,0x39,0x5e,0x71,0x14,0xd5,0xae,0xa4,0xc3,0xbf,0x64,0xe9};
    static std::uint8_t addend58[32] = {0xbf,0x43,0x3e,0x03,0x00,0x75,0x5f,0x64,0xbb,0xa8,0x6d,0xf7,0x50,0x09,0xc0,0xa9,0xe5,0x4e,0x19,0xe5,0xa9,0xe8,0x25,0x81,0xed,0xaf,0x80,0xf3,0x95,0xfb,0x98,0xf9};
    static std::uint8_t sum58[32]    = {0xb4,0x81,0x6a,0x3b,0xbe,0xd1,0x98,0x96,0x59,0x31,0x8e,0x8f,0x7d,0x49,0xa3,0x41,0x20,0x32,0x7b,0x3b,0x1b,0x21,0x83,0xf3,0x02,0x85,0x2f,0x98,0x59,0xba,0xfd,0xe2};
    static int          carry58      = 1;
    uint256_from_bytes(augend, augend58);
    uint256_from_bytes(addend, addend58);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum58, sum_data, 32) != 0 || carry58 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend59[32] = {0x83,0x3e,0xdd,0x4b,0x6a,0xed,0x88,0x72,0x6e,0xa6,0xd0,0x5e,0xa0,0x28,0x80,0x56,0x9d,0xb5,0x96,0x58,0x4a,0x7d,0x1d,0xbc,0x26,0x3c,0xc4,0xdc,0x38,0xbd,0x3c,0x69};
    static std::uint8_t addend59[32] = {0x0b,0xab,0x5f,0x9f,0xa7,0x32,0x1d,0x31,0x9c,0xce,0x12,0xd5,0x3a,0x2d,0xb0,0x0a,0x7d,0x07,0x6c,0x0b,0x21,0xcc,0x47,0x51,0x0c,0x3b,0x12,0x66,0xe5,0x42,0x45,0x3d};
    static std::uint8_t sum59[32]    = {0x8e,0xea,0x3c,0xeb,0x12,0x1f,0xa5,0xa4,0x0b,0x74,0xe3,0x33,0xda,0x56,0x30,0x61,0x1a,0xbd,0x02,0x63,0x6c,0x49,0x65,0x0d,0x32,0x77,0xd7,0x43,0x1d,0xff,0x81,0xa6};
    static int          carry59      = 0;
    uint256_from_bytes(augend, augend59);
    uint256_from_bytes(addend, addend59);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum59, sum_data, 32) != 0 || carry59 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend60[32] = {0x0b,0x43,0xb6,0xdd,0x00,0x1a,0x2f,0xd3,0xe7,0x4c,0x00,0xf4,0x2a,0x43,0xf0,0x47,0x3f,0x9d,0x80,0x24,0x7e,0x2b,0x86,0xd1,0xbb,0xc8,0x1f,0x54,0x84,0x80,0x49,0x42};
    static std::uint8_t addend60[32] = {0x24,0x6b,0x94,0x80,0x32,0x7f,0x82,0xf8,0xf0,0xe0,0x2c,0x42,0xa8,0x24,0x09,0xf1,0x8d,0x09,0x49,0x79,0x9c,0xd5,0xf2,0xbb,0x03,0x29,0x60,0x2a,0x1a,0xdb,0xe5,0x33};
    static std::uint8_t sum60[32]    = {0x2f,0xaf,0x4b,0x5d,0x32,0x99,0xb2,0xcc,0xd8,0x2c,0x2d,0x36,0xd2,0x67,0xfa,0x38,0xcc,0xa6,0xc9,0x9e,0x1b,0x01,0x79,0x8c,0xbe,0xf1,0x7f,0x7e,0x9f,0x5c,0x2e,0x75};
    static int          carry60      = 0;
    uint256_from_bytes(augend, augend60);
    uint256_from_bytes(addend, addend60);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum60, sum_data, 32) != 0 || carry60 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend61[32] = {0x73,0xd6,0x34,0x26,0xa7,0xd0,0xe5,0x97,0xbd,0xe3,0xa6,0xe4,0x14,0x9a,0x3e,0x17,0x77,0x1b,0xa4,0xba,0xe9,0x89,0xda,0x51,0xbe,0xc4,0x9a,0xb4,0x6f,0xc8,0x20,0xd2};
    static std::uint8_t addend61[32] = {0x1f,0x8e,0x65,0x21,0x09,0xef,0xf2,0xb4,0xa4,0xde,0x7a,0x8d,0x3b,0x77,0xcb,0xb4,0x42,0xec,0xdc,0xf9,0x1a,0xf3,0xbd,0xa5,0xff,0x21,0xdd,0x5a,0x39,0xd7,0xc1,0x40};
    static std::uint8_t sum61[32]    = {0x93,0x64,0x99,0x47,0xb1,0xc0,0xd8,0x4c,0x62,0xc2,0x21,0x71,0x50,0x12,0x09,0xcb,0xba,0x08,0x81,0xb4,0x04,0x7d,0x97,0xf7,0xbd,0xe6,0x78,0x0e,0xa9,0x9f,0xe2,0x12};
    static int          carry61      = 0;
    uint256_from_bytes(augend, augend61);
    uint256_from_bytes(addend, addend61);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum61, sum_data, 32) != 0 || carry61 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend62[32] = {0xb6,0x30,0xf0,0x05,0x43,0x67,0x88,0x56,0xd8,0x67,0xc4,0x66,0xf1,0x5e,0xa8,0x9d,0xb1,0xf2,0xad,0x8b,0xec,0xd8,0x7a,0x48,0xbf,0xe9,0x54,0x13,0xe4,0x2a,0x87,0x2f};
    static std::uint8_t addend62[32] = {0x37,0x8d,0x04,0xea,0xe4,0xe8,0xd8,0xd2,0xf7,0x13,0x77,0xdc,0xed,0xb6,0xce,0x85,0xa4,0x5a,0x52,0x09,0x4b,0xad,0x8e,0x0e,0x43,0xea,0x74,0x71,0xf8,0xcd,0xe5,0x9b};
    static std::uint8_t sum62[32]    = {0xed,0xbd,0xf4,0xf0,0x28,0x50,0x61,0x29,0xcf,0x7b,0x3c,0x43,0xdf,0x15,0x77,0x23,0x56,0x4c,0xff,0x95,0x38,0x86,0x08,0x57,0x03,0xd3,0xc8,0x85,0xdc,0xf8,0x6c,0xca};
    static int          carry62      = 0;
    uint256_from_bytes(augend, augend62);
    uint256_from_bytes(addend, addend62);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum62, sum_data, 32) != 0 || carry62 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend63[32] = {0xe1,0x52,0x7a,0xe4,0x31,0x22,0xc8,0x15,0x53,0xad,0xd8,0x17,0xea,0x3a,0xb6,0xd2,0xbf,0x03,0xc6,0x44,0x28,0xc0,0x6f,0x25,0xf1,0xd7,0xb8,0xaa,0x33,0xe9,0x27,0x23};
    static std::uint8_t addend63[32] = {0x0a,0xa9,0x89,0xb4,0x07,0xe7,0x16,0x6b,0x07,0x5b,0x05,0x8b,0xb3,0x63,0xaf,0x43,0x24,0x4f,0xba,0xfc,0xfa,0x37,0x6a,0x6e,0x58,0x48,0xfc,0x64,0x29,0x6c,0x76,0x4d};
    static std::uint8_t sum63[32]    = {0xeb,0xfc,0x04,0x98,0x39,0x09,0xde,0x80,0x5b,0x08,0xdd,0xa3,0x9d,0x9e,0x66,0x15,0xe3,0x53,0x81,0x41,0x22,0xf7,0xd9,0x94,0x4a,0x20,0xb5,0x0e,0x5d,0x55,0x9d,0x70};
    static int          carry63      = 0;
    uint256_from_bytes(augend, augend63);
    uint256_from_bytes(addend, addend63);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum63, sum_data, 32) != 0 || carry63 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend64[32] = {0x0b,0xf3,0xd0,0xa7,0xbc,0x9d,0xf5,0x99,0x11,0x5d,0x27,0xcf,0xb2,0x6f,0x19,0x28,0x0a,0xea,0xde,0x9b,0xa2,0x45,0xd6,0x58,0xa4,0xbf,0x58,0xe7,0xb1,0x4f,0xe2,0xd6};
    static std::uint8_t addend64[32] = {0x59,0xd4,0xa2,0x8c,0x05,0x5a,0xe9,0x8e,0x42,0xdb,0x5b,0x4b,0x6c,0x7b,0xe3,0x7e,0x56,0x25,0xe6,0x71,0x51,0xb3,0x15,0xec,0x4b,0x61,0xb0,0xfd,0x34,0x7a,0x73,0x25};
    static std::uint8_t sum64[32]    = {0x65,0xc8,0x73,0x33,0xc1,0xf8,0xdf,0x27,0x54,0x38,0x83,0x1b,0x1e,0xea,0xfc,0xa6,0x61,0x10,0xc5,0x0c,0xf3,0xf8,0xec,0x44,0xf0,0x21,0x09,0xe4,0xe5,0xca,0x55,0xfb};
    static int          carry64      = 0;
    uint256_from_bytes(augend, augend64);
    uint256_from_bytes(addend, addend64);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum64, sum_data, 32) != 0 || carry64 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend65[32] = {0xbe,0xe3,0x3d,0x4a,0x9e,0x47,0x53,0x94,0x49,0xa3,0x59,0x64,0xd9,0xf3,0xdd,0x45,0x79,0xe0,0x8f,0x86,0x80,0xf4,0xed,0xd8,0x9a,0x1d,0x38,0x76,0xf6,0xc8,0xa6,0x4a};
    static std::uint8_t addend65[32] = {0x58,0xc6,0xae,0xea,0x19,0x2a,0x28,0x29,0xc5,0xe5,0x06,0x41,0x84,0xc4,0x6f,0x72,0x6f,0xbb,0x28,0xf3,0x07,0xff,0xe3,0x8e,0x69,0xb5,0x2f,0xc2,0xc9,0xff,0x90,0x90};
    static std::uint8_t sum65[32]    = {0x17,0xa9,0xec,0x34,0xb7,0x71,0x7b,0xbe,0x0f,0x88,0x5f,0xa6,0x5e,0xb8,0x4c,0xb7,0xe9,0x9b,0xb8,0x79,0x88,0xf4,0xd1,0x67,0x03,0xd2,0x68,0x39,0xc0,0xc8,0x36,0xda};
    static int          carry65      = 1;
    uint256_from_bytes(augend, augend65);
    uint256_from_bytes(addend, addend65);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum65, sum_data, 32) != 0 || carry65 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend66[32] = {0xd3,0xec,0xa7,0x51,0xdc,0xbb,0xb7,0x57,0xb6,0xe2,0x44,0x82,0x37,0x71,0x69,0x0c,0x90,0xeb,0xc2,0xc3,0x89,0xb2,0x8a,0x18,0x0c,0x51,0x66,0xf0,0xb4,0x64,0x90,0x35};
    static std::uint8_t addend66[32] = {0x33,0xb8,0x93,0xa5,0x86,0x07,0xbf,0xbf,0x00,0x55,0x22,0x93,0x6f,0xa1,0x76,0xac,0x2b,0x9d,0x73,0x64,0x49,0x80,0x05,0x25,0xd1,0xdf,0x24,0xd0,0x93,0x15,0x1c,0xf9};
    static std::uint8_t sum66[32]    = {0x07,0xa5,0x3a,0xf7,0x62,0xc3,0x77,0x16,0xb7,0x37,0x67,0x15,0xa7,0x12,0xdf,0xb8,0xbc,0x89,0x36,0x27,0xd3,0x32,0x8f,0x3d,0xde,0x30,0x8b,0xc1,0x47,0x79,0xad,0x2e};
    static int          carry66      = 1;
    uint256_from_bytes(augend, augend66);
    uint256_from_bytes(addend, addend66);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum66, sum_data, 32) != 0 || carry66 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend67[32] = {0x18,0x7f,0x13,0x2d,0x7d,0xa6,0x93,0x70,0x59,0x09,0xa9,0x58,0x01,0x1d,0xd8,0xb3,0x0d,0xd0,0x9e,0x51,0xfa,0x55,0x68,0x35,0xc0,0x21,0xfa,0x1b,0xc3,0x1e,0x4b,0x97};
    static std::uint8_t addend67[32] = {0xd0,0xb3,0xa1,0x75,0x48,0xa2,0x83,0x54,0x28,0xad,0x5d,0xc9,0xf1,0xa1,0x75,0x00,0x93,0xf8,0x4a,0xde,0x42,0xb5,0x0c,0x7c,0x83,0xe0,0x3b,0x8d,0xd4,0xf3,0x31,0x8e};
    static std::uint8_t sum67[32]    = {0xe9,0x32,0xb4,0xa2,0xc6,0x49,0x16,0xc4,0x81,0xb7,0x07,0x21,0xf2,0xbf,0x4d,0xb3,0xa1,0xc8,0xe9,0x30,0x3d,0x0a,0x74,0xb2,0x44,0x02,0x35,0xa9,0x98,0x11,0x7d,0x25};
    static int          carry67      = 0;
    uint256_from_bytes(augend, augend67);
    uint256_from_bytes(addend, addend67);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum67, sum_data, 32) != 0 || carry67 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend68[32] = {0x4d,0x9a,0xa6,0x96,0x34,0xc4,0x11,0xc3,0x5f,0x38,0x1d,0x79,0x06,0x71,0xce,0x23,0xa5,0x57,0x41,0xcb,0xe3,0x71,0x61,0x3e,0x6c,0x10,0xb6,0x01,0x16,0x0f,0x6d,0x6e};
    static std::uint8_t addend68[32] = {0x76,0x91,0x77,0x52,0x2b,0x67,0xa9,0xfd,0x52,0xc6,0x02,0xe2,0xbd,0xf2,0xe0,0x77,0x8d,0xc1,0xa4,0x3e,0xa9,0x7f,0x65,0xbd,0x73,0x47,0x4a,0xa9,0xd7,0xd5,0xcc,0xbe};
    static std::uint8_t sum68[32]    = {0xc4,0x2c,0x1d,0xe8,0x60,0x2b,0xbb,0xc0,0xb1,0xfe,0x20,0x5b,0xc4,0x64,0xae,0x9b,0x33,0x18,0xe6,0x0a,0x8c,0xf0,0xc6,0xfb,0xdf,0x58,0x00,0xaa,0xed,0xe5,0x3a,0x2c};
    static int          carry68      = 0;
    uint256_from_bytes(augend, augend68);
    uint256_from_bytes(addend, addend68);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum68, sum_data, 32) != 0 || carry68 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend69[32] = {0xf4,0xae,0xdd,0x02,0x53,0xfc,0xba,0x58,0x3c,0x78,0x75,0x66,0x29,0x32,0x56,0xb6,0x59,0x3f,0xf3,0xdf,0x85,0xad,0x81,0xd7,0x9a,0x57,0x55,0x55,0x53,0x99,0x9a,0xc8};
    static std::uint8_t addend69[32] = {0x1b,0x5b,0xd0,0x42,0xe9,0x51,0xac,0xba,0xa3,0x52,0xb6,0xb5,0x1b,0xf9,0xb6,0x83,0x32,0x39,0x91,0xaf,0x46,0x19,0x1a,0xa0,0x6f,0x57,0x1d,0x36,0x4c,0x22,0xb1,0xf4};
    static std::uint8_t sum69[32]    = {0x10,0x0a,0xad,0x45,0x3d,0x4e,0x67,0x12,0xdf,0xcb,0x2c,0x1b,0x45,0x2c,0x0d,0x39,0x8b,0x79,0x85,0x8e,0xcb,0xc6,0x9c,0x78,0x09,0xae,0x72,0x8b,0x9f,0xbc,0x4c,0xbc};
    static int          carry69      = 1;
    uint256_from_bytes(augend, augend69);
    uint256_from_bytes(addend, addend69);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum69, sum_data, 32) != 0 || carry69 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend70[32] = {0x76,0x99,0x78,0x19,0x4b,0xd4,0xa2,0x1c,0xa1,0xe3,0x81,0xf9,0xfb,0x1b,0x09,0x02,0x80,0x1f,0xe3,0x0b,0x38,0xf2,0xa0,0x31,0xb1,0x85,0x3d,0xc0,0x6f,0xc0,0x4d,0x79};
    static std::uint8_t addend70[32] = {0x74,0x32,0xf7,0x9d,0x1f,0xcc,0x96,0x34,0xa4,0x3b,0xe3,0x68,0x2e,0x77,0x1b,0xd6,0xad,0xfa,0x09,0xb0,0x3a,0x85,0xee,0xd0,0xda,0x39,0xc4,0xea,0x95,0x71,0x62,0x3c};
    static std::uint8_t sum70[32]    = {0xea,0xcc,0x6f,0xb6,0x6b,0xa1,0x38,0x51,0x46,0x1f,0x65,0x62,0x29,0x92,0x24,0xd9,0x2e,0x19,0xec,0xbb,0x73,0x78,0x8f,0x02,0x8b,0xbf,0x02,0xab,0x05,0x31,0xaf,0xb5};
    static int          carry70      = 0;
    uint256_from_bytes(augend, augend70);
    uint256_from_bytes(addend, addend70);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum70, sum_data, 32) != 0 || carry70 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend71[32] = {0x6c,0x6f,0xba,0x96,0xd9,0x74,0xfe,0xc5,0x40,0x03,0xff,0x33,0x28,0x0d,0xa8,0x53,0xa1,0x2e,0x6d,0xf3,0xb6,0x6f,0x47,0xac,0xb6,0x91,0x07,0x80,0x66,0x6f,0x0c,0x32};
    static std::uint8_t addend71[32] = {0x37,0xc7,0x14,0xcf,0x8b,0x19,0xa2,0xb6,0x40,0x50,0x28,0x45,0x09,0xc3,0xe7,0xc0,0x1b,0x3b,0xb8,0x90,0xf9,0x80,0xaa,0xe3,0xe8,0x7f,0x44,0xb1,0x7d,0x66,0x2a,0x32};
    static std::uint8_t sum71[32]    = {0xa4,0x36,0xcf,0x66,0x64,0x8e,0xa1,0x7b,0x80,0x54,0x27,0x78,0x31,0xd1,0x90,0x13,0xbc,0x6a,0x26,0x84,0xaf,0xef,0xf2,0x90,0x9f,0x10,0x4c,0x31,0xe3,0xd5,0x36,0x64};
    static int          carry71      = 0;
    uint256_from_bytes(augend, augend71);
    uint256_from_bytes(addend, addend71);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum71, sum_data, 32) != 0 || carry71 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend72[32] = {0xf2,0xae,0x55,0x6f,0xbd,0xfa,0xea,0x88,0x69,0x0c,0x9b,0xf8,0x57,0xc5,0x23,0x02,0x85,0x8d,0x5c,0xd2,0x5e,0xb2,0xad,0x7e,0xd4,0x38,0x61,0xce,0xca,0xe5,0xa8,0x71};
    static std::uint8_t addend72[32] = {0xee,0xc4,0xe7,0x99,0xc3,0x40,0x6a,0x1a,0x83,0x87,0xe0,0xe4,0x64,0x7a,0x6c,0x08,0x2f,0x0d,0xb0,0x88,0xaf,0x32,0x3c,0x2d,0xfd,0x82,0xdb,0x76,0x35,0xc8,0x6b,0x78};
    static std::uint8_t sum72[32]    = {0xe1,0x73,0x3d,0x09,0x81,0x3b,0x54,0xa2,0xec,0x94,0x7c,0xdc,0xbc,0x3f,0x8f,0x0a,0xb4,0x9b,0x0d,0x5b,0x0d,0xe4,0xe9,0xac,0xd1,0xbb,0x3d,0x45,0x00,0xae,0x13,0xe9};
    static int          carry72      = 1;
    uint256_from_bytes(augend, augend72);
    uint256_from_bytes(addend, addend72);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum72, sum_data, 32) != 0 || carry72 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend73[32] = {0x46,0x3c,0x46,0x50,0x40,0xa1,0x11,0xb9,0x0e,0x7e,0x89,0x94,0xa3,0x37,0xb5,0xa6,0x5b,0x00,0x47,0x53,0x9d,0x2f,0x41,0x16,0xfc,0x06,0x1e,0x1f,0xba,0xa6,0xb8,0xe6};
    static std::uint8_t addend73[32] = {0xbd,0xd1,0x04,0xd7,0x4d,0xb1,0xdf,0x93,0x39,0x74,0x11,0x56,0x1b,0xf8,0x5d,0x11,0x43,0xe1,0x5c,0x55,0x94,0x86,0x5d,0x85,0x5a,0x24,0xdd,0x36,0xac,0xc5,0x34,0x66};
    static std::uint8_t sum73[32]    = {0x04,0x0d,0x4b,0x27,0x8e,0x52,0xf1,0x4c,0x47,0xf2,0x9a,0xea,0xbf,0x30,0x12,0xb7,0x9e,0xe1,0xa3,0xa9,0x31,0xb5,0x9e,0x9c,0x56,0x2a,0xfb,0x56,0x67,0x6b,0xed,0x4c};
    static int          carry73      = 1;
    uint256_from_bytes(augend, augend73);
    uint256_from_bytes(addend, addend73);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum73, sum_data, 32) != 0 || carry73 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend74[32] = {0xf5,0xfa,0x5d,0x74,0xcd,0x2e,0x46,0x76,0xfe,0x85,0xdf,0xb1,0x38,0x0a,0xb1,0xd7,0xf8,0xb4,0x4b,0xc2,0x86,0xee,0x7b,0x4f,0xf4,0x1e,0x74,0xe6,0xf0,0x9f,0x57,0x91};
    static std::uint8_t addend74[32] = {0xd0,0xf1,0x1e,0x05,0xcb,0x95,0xf3,0x72,0xd1,0x98,0xe3,0xb8,0xd4,0xa8,0xb1,0xa7,0xa3,0x88,0x2a,0x8a,0xaa,0x81,0x73,0xcf,0x5a,0x66,0xd7,0x1a,0x25,0x71,0x85,0xb5};
    static std::uint8_t sum74[32]    = {0xc6,0xeb,0x7b,0x7a,0x98,0xc4,0x39,0xe9,0xd0,0x1e,0xc3,0x6a,0x0c,0xb3,0x63,0x7f,0x9c,0x3c,0x76,0x4d,0x31,0x6f,0xef,0x1f,0x4e,0x85,0x4c,0x01,0x16,0x10,0xdd,0x46};
    static int          carry74      = 1;
    uint256_from_bytes(augend, augend74);
    uint256_from_bytes(addend, addend74);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum74, sum_data, 32) != 0 || carry74 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend75[32] = {0x7a,0xc3,0xca,0xf8,0x52,0x00,0x86,0x6c,0x4d,0x44,0x17,0xea,0xa7,0x86,0xef,0xfc,0x3e,0xb6,0x2c,0x1c,0x5b,0xa4,0x68,0x81,0x47,0xfd,0x7d,0x46,0xcc,0x85,0x8e,0xe3};
    static std::uint8_t addend75[32] = {0xe7,0xe2,0xe6,0x07,0x90,0x88,0xec,0x8a,0xd3,0xf1,0x3f,0x19,0x15,0xd4,0xe7,0xc2,0x0e,0x9b,0xac,0x31,0x62,0x96,0x9d,0x5a,0xda,0xbc,0xf0,0x04,0x4d,0x9c,0x76,0x71};
    static std::uint8_t sum75[32]    = {0x62,0xa6,0xb0,0xff,0xe2,0x89,0x72,0xf7,0x21,0x35,0x57,0x03,0xbd,0x5b,0xd7,0xbe,0x4d,0x51,0xd8,0x4d,0xbe,0x3b,0x05,0xdc,0x22,0xba,0x6d,0x4b,0x1a,0x22,0x05,0x54};
    static int          carry75      = 1;
    uint256_from_bytes(augend, augend75);
    uint256_from_bytes(addend, addend75);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum75, sum_data, 32) != 0 || carry75 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend76[32] = {0x95,0x1b,0xcb,0x26,0xa2,0x16,0xed,0x03,0x58,0x5b,0xc3,0xad,0xd4,0xd1,0xe9,0x69,0x87,0xd8,0x89,0x17,0x23,0xf1,0x5d,0xdf,0xf1,0x4f,0x10,0xcb,0xc8,0xb6,0xbe,0x1f};
    static std::uint8_t addend76[32] = {0x73,0xb3,0xa2,0xcf,0xc6,0xbb,0xf6,0x58,0x2f,0x87,0xa4,0x29,0x3b,0xcf,0xec,0xf9,0xda,0xab,0x23,0x02,0x24,0x8a,0x1e,0xdf,0x94,0x17,0xbb,0x43,0x19,0xfc,0xaf,0xba};
    static std::uint8_t sum76[32]    = {0x08,0xcf,0x6d,0xf6,0x68,0xd2,0xe3,0x5b,0x87,0xe3,0x67,0xd7,0x10,0xa1,0xd6,0x63,0x62,0x83,0xac,0x19,0x48,0x7b,0x7c,0xbf,0x85,0x66,0xcc,0x0e,0xe2,0xb3,0x6d,0xd9};
    static int          carry76      = 1;
    uint256_from_bytes(augend, augend76);
    uint256_from_bytes(addend, addend76);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum76, sum_data, 32) != 0 || carry76 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend77[32] = {0xb1,0x5a,0xdc,0xf2,0x7e,0x95,0x08,0xcb,0x32,0x86,0xdf,0xae,0x4c,0x0b,0x0f,0x70,0xd6,0xbb,0xcb,0x67,0xa2,0xf7,0xe7,0xf9,0xc9,0xbf,0x34,0xca,0x8c,0x6a,0x8f,0xcf};
    static std::uint8_t addend77[32] = {0x3f,0x1e,0xfd,0x5b,0x7d,0xca,0x92,0x02,0xb3,0x4e,0xd4,0xfa,0x24,0xf8,0xc3,0x85,0xe7,0xcc,0x72,0x15,0x77,0x93,0x7b,0x86,0x7b,0xff,0xb6,0xa4,0x0e,0xf6,0xdf,0x4f};
    static std::uint8_t sum77[32]    = {0xf0,0x79,0xda,0x4d,0xfc,0x5f,0x9a,0xcd,0xe5,0xd5,0xb4,0xa8,0x71,0x03,0xd2,0xf6,0xbe,0x88,0x3d,0x7d,0x1a,0x8b,0x63,0x80,0x45,0xbe,0xeb,0x6e,0x9b,0x61,0x6f,0x1e};
    static int          carry77      = 0;
    uint256_from_bytes(augend, augend77);
    uint256_from_bytes(addend, addend77);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum77, sum_data, 32) != 0 || carry77 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend78[32] = {0xd7,0x3c,0x8a,0x36,0x29,0x0d,0x2e,0xc3,0x01,0xb0,0xfb,0x6a,0xbc,0x0e,0x08,0x65,0xdc,0xe5,0x8d,0x7d,0x99,0x7f,0x7d,0xf0,0x8a,0x1f,0x78,0x83,0x2a,0x24,0x4c,0xae};
    static std::uint8_t addend78[32] = {0x77,0x3c,0x2b,0x1a,0xd7,0x2f,0x53,0x7c,0x4b,0xfc,0x3a,0x30,0xaa,0x51,0x22,0xf7,0x7f,0x63,0x23,0xa3,0x90,0x04,0x85,0x42,0xb2,0x25,0x8e,0x57,0x77,0xcc,0x40,0xda};
    static std::uint8_t sum78[32]    = {0x4e,0x78,0xb5,0x51,0x00,0x3c,0x82,0x3f,0x4d,0xad,0x35,0x9b,0x66,0x5f,0x2b,0x5d,0x5c,0x48,0xb1,0x21,0x29,0x84,0x03,0x33,0x3c,0x45,0x06,0xda,0xa1,0xf0,0x8d,0x88};
    static int          carry78      = 1;
    uint256_from_bytes(augend, augend78);
    uint256_from_bytes(addend, addend78);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum78, sum_data, 32) != 0 || carry78 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend79[32] = {0xa3,0x15,0x1d,0x0c,0x2e,0x36,0x7d,0xcb,0x13,0x4d,0x2c,0x81,0xad,0x0a,0xd3,0x87,0xf5,0xea,0xc4,0xc1,0xff,0xfc,0xbf,0xf7,0x6b,0x37,0x94,0x13,0x6d,0x02,0x27,0xc2};
    static std::uint8_t addend79[32] = {0x20,0x7c,0x9f,0x6c,0xa0,0x12,0x35,0xb8,0x6a,0x64,0x35,0x31,0xb7,0xda,0xea,0x11,0x36,0x9e,0xe1,0x45,0x08,0xad,0x79,0x4c,0x24,0xfd,0x41,0x72,0xe5,0xc6,0x9b,0x8e};
    static std::uint8_t sum79[32]    = {0xc3,0x91,0xbc,0x78,0xce,0x48,0xb3,0x83,0x7d,0xb1,0x61,0xb3,0x64,0xe5,0xbd,0x99,0x2c,0x89,0xa6,0x07,0x08,0xaa,0x39,0x43,0x90,0x34,0xd5,0x86,0x52,0xc8,0xc3,0x50};
    static int          carry79      = 0;
    uint256_from_bytes(augend, augend79);
    uint256_from_bytes(addend, addend79);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum79, sum_data, 32) != 0 || carry79 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend80[32] = {0x67,0x5a,0xd4,0x61,0x7e,0x65,0x1b,0xa5,0xd3,0xe6,0x61,0x59,0x5a,0xec,0xfa,0xbb,0x4a,0xfa,0x5e,0x69,0x4a,0x05,0x9e,0x92,0xd3,0xa4,0x3d,0x90,0x0d,0x7f,0x13,0x9b};
    static std::uint8_t addend80[32] = {0x4c,0x99,0xa6,0xaf,0xb6,0x93,0x07,0xf8,0x51,0x2d,0x12,0x6e,0x31,0x3b,0x25,0x9a,0x54,0xb5,0x9e,0x2d,0x1e,0x30,0x8b,0x51,0xca,0xbd,0x4f,0x53,0x7e,0x00,0x5b,0xd9};
    static std::uint8_t sum80[32]    = {0xb3,0xf4,0x7b,0x11,0x34,0xf8,0x23,0x9e,0x25,0x13,0x73,0xc7,0x8c,0x28,0x20,0x55,0x9f,0xaf,0xfc,0x96,0x68,0x36,0x29,0xe4,0x9e,0x61,0x8c,0xe3,0x8b,0x7f,0x6f,0x74};
    static int          carry80      = 0;
    uint256_from_bytes(augend, augend80);
    uint256_from_bytes(addend, addend80);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum80, sum_data, 32) != 0 || carry80 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend81[32] = {0x4c,0xe7,0x6f,0x14,0x66,0x02,0xec,0x12,0x0c,0xb9,0x1c,0xbe,0x92,0xf4,0x8d,0x21,0x8b,0x9f,0x68,0x4a,0x67,0xf1,0x86,0xa2,0xe2,0xb6,0xc5,0x0c,0x8d,0xe6,0x37,0x50};
    static std::uint8_t addend81[32] = {0x9d,0xdf,0xfe,0xc8,0x60,0x44,0x6e,0xf6,0x9c,0x9a,0xff,0xde,0x8b,0x2c,0xa2,0x82,0xe8,0xea,0x1b,0x43,0x80,0x37,0x3b,0xa8,0xc9,0xfd,0xac,0x3d,0x0f,0x65,0xe8,0xf4};
    static std::uint8_t sum81[32]    = {0xea,0xc7,0x6d,0xdc,0xc6,0x47,0x5b,0x08,0xa9,0x54,0x1c,0x9d,0x1e,0x21,0x2f,0xa4,0x74,0x89,0x83,0x8d,0xe8,0x28,0xc2,0x4b,0xac,0xb4,0x71,0x49,0x9d,0x4c,0x20,0x44};
    static int          carry81      = 0;
    uint256_from_bytes(augend, augend81);
    uint256_from_bytes(addend, addend81);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum81, sum_data, 32) != 0 || carry81 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend82[32] = {0x15,0x3f,0xb2,0xcd,0xae,0x54,0xa8,0x36,0xe0,0x56,0xa8,0xd5,0x98,0xa7,0xa8,0x6f,0xb0,0x6a,0x7c,0x91,0xb2,0x47,0x80,0x1d,0xac,0x77,0xa0,0x55,0xa0,0x76,0xe6,0x4b};
    static std::uint8_t addend82[32] = {0x05,0x38,0x69,0xeb,0x51,0x87,0xb6,0xec,0x08,0xc4,0x01,0xa1,0x6b,0xfa,0x15,0x35,0x2f,0x4d,0x80,0x51,0x4d,0x52,0x84,0xb5,0xdc,0xc9,0x8e,0x43,0x42,0x0c,0x77,0x38};
    static std::uint8_t sum82[32]    = {0x1a,0x78,0x1c,0xb8,0xff,0xdc,0x5f,0x22,0xe9,0x1a,0xaa,0x77,0x04,0xa1,0xbd,0xa4,0xdf,0xb7,0xfc,0xe2,0xff,0x9a,0x04,0xd3,0x89,0x41,0x2e,0x98,0xe2,0x83,0x5d,0x83};
    static int          carry82      = 0;
    uint256_from_bytes(augend, augend82);
    uint256_from_bytes(addend, addend82);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum82, sum_data, 32) != 0 || carry82 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend83[32] = {0x8c,0x7e,0x80,0xc1,0x69,0x94,0x2a,0xbd,0xc5,0x17,0x4a,0x9f,0x79,0xb6,0xfc,0xb9,0x27,0xc1,0x7a,0x26,0xfb,0x14,0xb1,0x95,0xa8,0xce,0x40,0x82,0xf0,0x0e,0x60,0xf8};
    static std::uint8_t addend83[32] = {0x03,0xf9,0xc7,0x3e,0xa0,0x7c,0x30,0xa8,0x26,0xda,0x05,0x3e,0xe5,0x51,0x55,0x0e,0x36,0x57,0xc7,0xbb,0x78,0xe1,0x9b,0xe6,0xa4,0xfe,0x55,0x61,0x15,0x3a,0x8e,0x30};
    static std::uint8_t sum83[32]    = {0x90,0x78,0x48,0x00,0x0a,0x10,0x5b,0x65,0xeb,0xf1,0x4f,0xde,0x5f,0x08,0x51,0xc7,0x5e,0x19,0x41,0xe2,0x73,0xf6,0x4d,0x7c,0x4d,0xcc,0x95,0xe4,0x05,0x48,0xef,0x28};
    static int          carry83      = 0;
    uint256_from_bytes(augend, augend83);
    uint256_from_bytes(addend, addend83);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum83, sum_data, 32) != 0 || carry83 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend84[32] = {0xdb,0xc4,0x7e,0x5e,0xf7,0x62,0x9c,0xb0,0xfc,0x94,0xfa,0x42,0x1f,0x25,0xd2,0x3d,0xab,0x5b,0x95,0xf4,0xaf,0x0a,0xf7,0x48,0x02,0x63,0x48,0xf7,0x01,0x39,0x7a,0x29};
    static std::uint8_t addend84[32] = {0x15,0x94,0x01,0x1e,0xc2,0x64,0xab,0x93,0xba,0xcf,0x0b,0xd8,0x25,0x11,0x95,0x7e,0xdb,0x01,0xb9,0xf2,0xb1,0xe1,0x36,0x63,0xb6,0xab,0x58,0xca,0xbf,0x4b,0x3d,0x45};
    static std::uint8_t sum84[32]    = {0xf1,0x58,0x7f,0x7d,0xb9,0xc7,0x48,0x44,0xb7,0x64,0x06,0x1a,0x44,0x37,0x67,0xbc,0x86,0x5d,0x4f,0xe7,0x60,0xec,0x2d,0xab,0xb9,0x0e,0xa1,0xc1,0xc0,0x84,0xb7,0x6e};
    static int          carry84      = 0;
    uint256_from_bytes(augend, augend84);
    uint256_from_bytes(addend, addend84);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum84, sum_data, 32) != 0 || carry84 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend85[32] = {0xe3,0xd7,0x7f,0x01,0xee,0xae,0x46,0x12,0xab,0x67,0x0e,0x4d,0x75,0xe8,0x8d,0x7e,0x7f,0x83,0x45,0x33,0xb5,0x90,0x6f,0x57,0x8e,0xb7,0x98,0x0d,0xa0,0xed,0x72,0x77};
    static std::uint8_t addend85[32] = {0x0f,0x4d,0xad,0x88,0x9b,0xe4,0x07,0x8c,0x7c,0x80,0x05,0xc5,0xd5,0xbd,0x01,0x32,0xdc,0x68,0x5e,0x91,0xf5,0x2b,0xc6,0x55,0x2a,0x7e,0xc8,0x06,0x99,0xa1,0x6b,0x9e};
    static std::uint8_t sum85[32]    = {0xf3,0x25,0x2c,0x8a,0x8a,0x92,0x4d,0x9f,0x27,0xe7,0x14,0x13,0x4b,0xa5,0x8e,0xb1,0x5b,0xeb,0xa3,0xc5,0xaa,0xbc,0x35,0xac,0xb9,0x36,0x60,0x14,0x3a,0x8e,0xde,0x15};
    static int          carry85      = 0;
    uint256_from_bytes(augend, augend85);
    uint256_from_bytes(addend, addend85);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum85, sum_data, 32) != 0 || carry85 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend86[32] = {0x2a,0x9d,0xcb,0x87,0xad,0x47,0xf8,0xfa,0x78,0x44,0xf2,0x40,0x70,0x50,0x33,0x08,0xba,0x4e,0xe7,0x7a,0x93,0x30,0xca,0x45,0xf2,0xe1,0xee,0xcd,0x5e,0x18,0xc7,0x12};
    static std::uint8_t addend86[32] = {0x43,0x56,0xe3,0x58,0x52,0x4f,0x85,0x3f,0x00,0x6e,0x6d,0xa2,0xb0,0x45,0x16,0xb7,0x48,0x86,0xf5,0x72,0x73,0x86,0x65,0x61,0xce,0xb7,0x1a,0x8f,0x3b,0xfe,0x93,0x8f};
    static std::uint8_t sum86[32]    = {0x6d,0xf4,0xae,0xdf,0xff,0x97,0x7e,0x39,0x78,0xb3,0x5f,0xe3,0x20,0x95,0x49,0xc0,0x02,0xd5,0xdc,0xed,0x06,0xb7,0x2f,0xa7,0xc1,0x99,0x09,0x5c,0x9a,0x17,0x5a,0xa1};
    static int          carry86      = 0;
    uint256_from_bytes(augend, augend86);
    uint256_from_bytes(addend, addend86);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum86, sum_data, 32) != 0 || carry86 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend87[32] = {0xc8,0x78,0x9a,0xe0,0xe3,0x2e,0xf1,0xea,0xc3,0x69,0x34,0x86,0xd0,0xe4,0x78,0x43,0xeb,0xac,0x31,0xfb,0x96,0x2e,0x3c,0x84,0x28,0x43,0x87,0xee,0x6c,0x28,0xf6,0x18};
    static std::uint8_t addend87[32] = {0x92,0x68,0x93,0xed,0xfe,0x2a,0x7b,0x12,0xde,0x01,0x28,0x2a,0xe3,0xff,0x2d,0xd0,0xcf,0xcf,0x01,0x96,0x24,0x02,0xee,0xb0,0xd5,0x4e,0xa0,0x35,0x49,0xdc,0x8a,0x9f};
    static std::uint8_t sum87[32]    = {0x5a,0xe1,0x2e,0xce,0xe1,0x59,0x6c,0xfd,0xa1,0x6a,0x5c,0xb1,0xb4,0xe3,0xa6,0x14,0xbb,0x7b,0x33,0x91,0xba,0x31,0x2b,0x34,0xfd,0x92,0x28,0x23,0xb6,0x05,0x80,0xb7};
    static int          carry87      = 1;
    uint256_from_bytes(augend, augend87);
    uint256_from_bytes(addend, addend87);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum87, sum_data, 32) != 0 || carry87 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend88[32] = {0xcc,0x21,0xa8,0x7a,0x7c,0x19,0x64,0xbb,0x8d,0xbd,0x9a,0x53,0x8a,0x3c,0x35,0x02,0x15,0xc6,0xb9,0xa6,0x88,0xd8,0xc0,0xa5,0x58,0xcb,0x5f,0xde,0x7f,0xfe,0x6c,0x7d};
    static std::uint8_t addend88[32] = {0xe5,0x9d,0x25,0x52,0x85,0x62,0xda,0x19,0x94,0x60,0x09,0xc1,0x65,0xef,0x8d,0xb0,0x3b,0x9d,0x22,0x6a,0x10,0x08,0x99,0xd1,0xc5,0xac,0xb0,0x68,0x5a,0xe8,0x2b,0x36};
    static std::uint8_t sum88[32]    = {0xb1,0xbe,0xcd,0xcd,0x01,0x7c,0x3e,0xd5,0x22,0x1d,0xa4,0x14,0xf0,0x2b,0xc2,0xb2,0x51,0x63,0xdc,0x10,0x98,0xe1,0x5a,0x77,0x1e,0x78,0x10,0x46,0xda,0xe6,0x97,0xb3};
    static int          carry88      = 1;
    uint256_from_bytes(augend, augend88);
    uint256_from_bytes(addend, addend88);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum88, sum_data, 32) != 0 || carry88 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend89[32] = {0x33,0xad,0xba,0x6f,0x96,0xde,0x3d,0xda,0x81,0x94,0x45,0x5d,0x7a,0x01,0x8e,0x0c,0x52,0x2c,0x95,0x83,0x85,0x98,0x85,0x3a,0xd5,0x54,0xfc,0x05,0xe2,0x95,0x85,0x12};
    static std::uint8_t addend89[32] = {0x3f,0x0d,0xd5,0x83,0x26,0x25,0x74,0x8a,0xdb,0x61,0x1f,0x75,0x84,0x68,0x5b,0x61,0xc7,0x96,0x64,0x70,0x67,0x09,0xab,0x4c,0x5b,0xe0,0x40,0x57,0x90,0x7e,0x89,0x7c};
    static std::uint8_t sum89[32]    = {0x72,0xbb,0x8f,0xf2,0xbd,0x03,0xb2,0x65,0x5c,0xf5,0x64,0xd2,0xfe,0x69,0xe9,0x6e,0x19,0xc2,0xf9,0xf3,0xec,0xa2,0x30,0x87,0x31,0x35,0x3c,0x5d,0x73,0x14,0x0e,0x8e};
    static int          carry89      = 0;
    uint256_from_bytes(augend, augend89);
    uint256_from_bytes(addend, addend89);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum89, sum_data, 32) != 0 || carry89 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend90[32] = {0xa1,0xfb,0x68,0xf1,0x5f,0x25,0xa7,0xfe,0x1b,0x2a,0x91,0x34,0xdd,0xca,0x8b,0x0c,0x5f,0xc1,0x1c,0xc0,0x7e,0x46,0xda,0x13,0xff,0x44,0xab,0xde,0xec,0x30,0xb3,0xc2};
    static std::uint8_t addend90[32] = {0x47,0xa2,0x93,0xf3,0xc7,0x79,0x0c,0x37,0xec,0xed,0x43,0x01,0x42,0xf8,0x03,0xf4,0x36,0xad,0x61,0xdd,0x91,0x32,0xf7,0xad,0x96,0x32,0xb0,0x91,0x7c,0x7f,0x2c,0xba};
    static std::uint8_t sum90[32]    = {0xe9,0x9d,0xfc,0xe5,0x26,0x9e,0xb4,0x36,0x08,0x17,0xd4,0x36,0x20,0xc2,0x8f,0x00,0x96,0x6e,0x7e,0x9e,0x0f,0x79,0xd1,0xc1,0x95,0x77,0x5c,0x70,0x68,0xaf,0xe0,0x7c};
    static int          carry90      = 0;
    uint256_from_bytes(augend, augend90);
    uint256_from_bytes(addend, addend90);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum90, sum_data, 32) != 0 || carry90 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend91[32] = {0xf6,0xa5,0xda,0x24,0x9b,0xd5,0x41,0xeb,0xd1,0x9e,0xe4,0x3f,0x97,0xd6,0xb9,0x1b,0xc4,0x6a,0x6d,0x88,0x72,0x65,0x88,0x33,0xf2,0x4d,0xcb,0xf1,0x18,0xdc,0x0d,0xdb};
    static std::uint8_t addend91[32] = {0x60,0xd1,0xd9,0x05,0x2e,0x44,0xac,0xcb,0xfe,0x9f,0x0b,0xb4,0x33,0x74,0x05,0xbf,0x56,0xbe,0x6d,0x2a,0x09,0xb1,0xe1,0xfb,0xd7,0xff,0xc8,0xcd,0x41,0x05,0xd9,0xf9};
    static std::uint8_t sum91[32]    = {0x57,0x77,0xb3,0x29,0xca,0x19,0xee,0xb7,0xd0,0x3d,0xef,0xf3,0xcb,0x4a,0xbe,0xdb,0x1b,0x28,0xda,0xb2,0x7c,0x17,0x6a,0x2f,0xca,0x4d,0x94,0xbe,0x59,0xe1,0xe7,0xd4};
    static int          carry91      = 1;
    uint256_from_bytes(augend, augend91);
    uint256_from_bytes(addend, addend91);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum91, sum_data, 32) != 0 || carry91 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend92[32] = {0x75,0x51,0xe6,0x38,0xb4,0xa0,0x41,0xf3,0xde,0xe4,0x06,0xe8,0x5e,0xa0,0x49,0xa4,0x8e,0xb0,0x78,0xc8,0x08,0xe9,0x50,0x0c,0x0d,0x0e,0x2c,0x33,0x07,0x0b,0x80,0xf4};
    static std::uint8_t addend92[32] = {0xa3,0xcc,0xb0,0xa4,0x99,0x1a,0xff,0x0a,0xdc,0xeb,0x9e,0x13,0x10,0x6e,0x7b,0x8c,0xe5,0x11,0xb4,0x11,0xe8,0xf0,0x7f,0x9f,0xd8,0x79,0x9b,0xfe,0xf2,0x7c,0x07,0xf5};
    static std::uint8_t sum92[32]    = {0x19,0x1e,0x96,0xdd,0x4d,0xbb,0x40,0xfe,0xbb,0xcf,0xa4,0xfb,0x6f,0x0e,0xc5,0x31,0x73,0xc2,0x2c,0xd9,0xf1,0xd9,0xcf,0xab,0xe5,0x87,0xc8,0x31,0xf9,0x87,0x88,0xe9};
    static int          carry92      = 1;
    uint256_from_bytes(augend, augend92);
    uint256_from_bytes(addend, addend92);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum92, sum_data, 32) != 0 || carry92 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend93[32] = {0x90,0x81,0x82,0xd0,0x51,0x97,0x04,0x4a,0x41,0xd7,0x72,0x53,0x17,0x07,0x6e,0x31,0xf5,0x94,0x76,0x75,0xb4,0xd5,0x14,0xc0,0x1e,0xb2,0xd1,0x25,0xec,0x12,0x54,0x88};
    static std::uint8_t addend93[32] = {0x2e,0xc3,0x7a,0xc9,0x64,0xa3,0x66,0x74,0x81,0xaa,0x0c,0xf0,0xab,0x72,0xde,0x07,0xeb,0xbf,0x2d,0xac,0xf4,0xd7,0xf1,0x53,0x16,0xfc,0x08,0xe0,0xa4,0x00,0x85,0xd3};
    static std::uint8_t sum93[32]    = {0xbf,0x44,0xfd,0x99,0xb6,0x3a,0x6a,0xbe,0xc3,0x81,0x7f,0x43,0xc2,0x7a,0x4c,0x39,0xe1,0x53,0xa4,0x22,0xa9,0xad,0x06,0x13,0x35,0xae,0xda,0x06,0x90,0x12,0xda,0x5b};
    static int          carry93      = 0;
    uint256_from_bytes(augend, augend93);
    uint256_from_bytes(addend, addend93);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum93, sum_data, 32) != 0 || carry93 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend94[32] = {0x38,0xc2,0xc3,0x9e,0xb8,0x80,0x8c,0x83,0xfd,0xe1,0x15,0x76,0x3c,0x31,0x63,0x62,0xf7,0x3c,0x9a,0x82,0x5e,0xf4,0x07,0x8e,0x28,0xe3,0xf6,0x5a,0xd9,0x85,0x92,0xee};
    static std::uint8_t addend94[32] = {0x97,0x6a,0x45,0xa2,0x96,0xfc,0x31,0xa0,0x4c,0x7d,0xae,0x57,0xbf,0x8b,0x90,0xfa,0xad,0x48,0x9b,0xce,0x32,0xee,0x7f,0x64,0xf0,0x7b,0x3e,0x87,0x01,0x7a,0xa2,0x81};
    static std::uint8_t sum94[32]    = {0xd0,0x2d,0x09,0x41,0x4f,0x7c,0xbe,0x24,0x4a,0x5e,0xc3,0xcd,0xfb,0xbc,0xf4,0x5d,0xa4,0x85,0x36,0x50,0x91,0xe2,0x86,0xf3,0x19,0x5f,0x34,0xe1,0xdb,0x00,0x35,0x6f};
    static int          carry94      = 0;
    uint256_from_bytes(augend, augend94);
    uint256_from_bytes(addend, addend94);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum94, sum_data, 32) != 0 || carry94 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend95[32] = {0x63,0xda,0x31,0x77,0x41,0xcb,0x71,0x2f,0x5f,0x26,0xf2,0x1f,0x52,0xec,0x51,0x27,0x78,0x81,0x75,0x48,0x1a,0xfc,0xcd,0x07,0xa7,0x0b,0x40,0x7e,0xc2,0x05,0x97,0x17};
    static std::uint8_t addend95[32] = {0xcc,0x81,0x63,0x56,0x31,0xf2,0x51,0xc2,0xe9,0x9f,0x4a,0x92,0xb7,0x9c,0x2b,0x63,0x77,0xc8,0x2d,0x55,0x03,0x3a,0xac,0xd6,0xe4,0x65,0x3d,0x35,0xad,0x79,0xfd,0xdc};
    static std::uint8_t sum95[32]    = {0x30,0x5b,0x94,0xcd,0x73,0xbd,0xc2,0xf2,0x48,0xc6,0x3c,0xb2,0x0a,0x88,0x7c,0x8a,0xf0,0x49,0xa2,0x9d,0x1e,0x37,0x79,0xde,0x8b,0x70,0x7d,0xb4,0x6f,0x7f,0x94,0xf3};
    static int          carry95      = 1;
    uint256_from_bytes(augend, augend95);
    uint256_from_bytes(addend, addend95);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum95, sum_data, 32) != 0 || carry95 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend96[32] = {0xdd,0xe3,0x74,0xd1,0x9e,0x60,0x14,0xef,0xef,0x19,0x19,0xe4,0x13,0xe9,0xd0,0xbc,0x38,0x76,0x1d,0xc7,0xd5,0x34,0xc0,0x87,0xed,0x7c,0x5d,0xa0,0x28,0x2e,0x47,0x8c};
    static std::uint8_t addend96[32] = {0x56,0xfb,0xc2,0xf1,0xf8,0xe9,0x64,0x31,0x73,0xcc,0x26,0x90,0x13,0x3d,0x4b,0x63,0xa0,0xdc,0xe6,0x04,0x05,0x90,0x7f,0xd1,0xd7,0x9d,0xa6,0xa3,0x62,0x94,0x8b,0xfe};
    static std::uint8_t sum96[32]    = {0x34,0xdf,0x37,0xc3,0x97,0x49,0x79,0x21,0x62,0xe5,0x40,0x74,0x27,0x27,0x1c,0x1f,0xd9,0x53,0x03,0xcb,0xda,0xc5,0x40,0x59,0xc5,0x1a,0x04,0x43,0x8a,0xc2,0xd3,0x8a};
    static int          carry96      = 1;
    uint256_from_bytes(augend, augend96);
    uint256_from_bytes(addend, addend96);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum96, sum_data, 32) != 0 || carry96 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend97[32] = {0x54,0xfc,0x94,0xa4,0x24,0x8c,0x6f,0xa6,0x5d,0xb4,0x47,0x41,0xa0,0xd0,0x9c,0x62,0x1d,0x98,0xa4,0x74,0x7a,0x3f,0xf3,0x11,0x3b,0xdf,0xae,0x68,0xd2,0xb4,0x1d,0x4f};
    static std::uint8_t addend97[32] = {0x25,0x0b,0xc6,0xe7,0xe3,0xaa,0x47,0x1c,0x8d,0xa9,0xec,0x93,0x73,0x8d,0x7c,0xcc,0xb6,0xb6,0xa4,0xd2,0x2e,0x24,0x2f,0xc8,0x0e,0x85,0x9f,0x16,0xbc,0x6e,0x9d,0x5f};
    static std::uint8_t sum97[32]    = {0x7a,0x08,0x5b,0x8c,0x08,0x36,0xb6,0xc2,0xeb,0x5e,0x33,0xd5,0x14,0x5e,0x19,0x2e,0xd4,0x4f,0x49,0x46,0xa8,0x64,0x22,0xd9,0x4a,0x65,0x4d,0x7f,0x8f,0x22,0xba,0xae};
    static int          carry97      = 0;
    uint256_from_bytes(augend, augend97);
    uint256_from_bytes(addend, addend97);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum97, sum_data, 32) != 0 || carry97 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend98[32] = {0x06,0x81,0xed,0xaf,0x27,0xdb,0x11,0x73,0x3f,0x2b,0x77,0x13,0x69,0x6a,0x86,0x17,0x6b,0x13,0x49,0x07,0x44,0x32,0x94,0x63,0x26,0x3e,0x8d,0xb3,0xde,0xe7,0xb6,0x44};
    static std::uint8_t addend98[32] = {0x7d,0xb2,0xa1,0x7e,0x42,0xbb,0x68,0xde,0x2a,0xf4,0xcc,0xe5,0xcd,0xdc,0x68,0xd6,0x55,0xa2,0x5f,0x59,0x4b,0xea,0xc5,0x05,0xd6,0xed,0x9f,0xdf,0x92,0x2c,0x6c,0x73};
    static std::uint8_t sum98[32]    = {0x84,0x34,0x8f,0x2d,0x6a,0x96,0x7a,0x51,0x6a,0x20,0x43,0xf9,0x37,0x46,0xee,0xed,0xc0,0xb5,0xa8,0x60,0x90,0x1d,0x59,0x68,0xfd,0x2c,0x2d,0x93,0x71,0x14,0x22,0xb7};
    static int          carry98      = 0;
    uint256_from_bytes(augend, augend98);
    uint256_from_bytes(addend, addend98);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum98, sum_data, 32) != 0 || carry98 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
    static std::uint8_t augend99[32] = {0x83,0x71,0xf5,0xf2,0xfa,0x86,0xf4,0xdf,0x27,0x43,0x31,0x4b,0x1d,0x3a,0x20,0x05,0x7b,0x80,0xf2,0x13,0xe7,0x36,0x08,0x61,0x74,0xc8,0x84,0x7b,0x51,0x6c,0xd4,0x5d};
    static std::uint8_t addend99[32] = {0x4a,0x17,0xfe,0x93,0x63,0xe0,0x8f,0xb2,0x18,0xfa,0x02,0x9e,0x3c,0xf7,0x43,0x54,0xec,0xd2,0x07,0x3d,0x3d,0x19,0xce,0x0e,0xff,0x82,0x8a,0x31,0x42,0xf3,0x28,0x46};
    static std::uint8_t sum99[32]    = {0xcd,0x89,0xf4,0x86,0x5e,0x67,0x84,0x91,0x40,0x3d,0x33,0xe9,0x5a,0x31,0x63,0x5a,0x68,0x52,0xf9,0x51,0x24,0x4f,0xd6,0x70,0x74,0x4b,0x0e,0xac,0x94,0x5f,0xfc,0xa3};
    static int          carry99      = 0;
    uint256_from_bytes(augend, augend99);
    uint256_from_bytes(addend, addend99);
    carry = uint256_add_carry(sum, augend, addend);
    uint256_to_bytes(sum_data, sum);
    if (std::memcmp(sum99, sum_data, 32) != 0 || carry99 != carry)
    {
        throw std::runtime_error("err in uint256_add_carry");
    }
}
